نتائج البحث

Ethical Aspects of Cyber-Physical Systems

• Source: Technopolis group 2016, Ethical Aspects of Cyber-Physical Systems. Scientific Foresight Study, European

تفاصيل العنوان

Automating Numerical Parameters Along the Evolution of a Nonlinear System

• Authors : Geretti, L.; Collins, P.; Bresolin, D. ...

Subjects: HYBRID SYSTEMS; VERIFICATION

• Source: Geretti, L, Collins, P, Bresolin, D & Villa, T 2022, Automating Numerical Parameters Along the Evolution of a Nonlinear System. in T Dang & V Stolz (eds), Runtime Verification - 22nd International

تفاصيل العنوان

Automating Numerical Parameters Along the Evolution of a Nonlinear System

• Authors : Geretti, L.; Collins, P.; Bresolin, D. ...

Subjects: HYBRID SYSTEMS; VERIFICATION

• Source: Geretti, L, Collins, P, Bresolin, D & Villa, T 2022, Automating Numerical Parameters Along the Evolution of a Nonlinear System. in T Dang & V Stolz (eds), Runtime Verification - 22nd International

تفاصيل العنوان

Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne

• Authors : Geretti, Luca; Bresolin, Davide; Collins, Pieter

• Source: Geretti, L, Bresolin, D, Collins, P, Zivanovic Gonzalez, S & Villa, T 2017, Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne. in IFIP

تفاصيل العنوان

Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne

• Authors : Geretti, Luca; Bresolin, Davide; Collins, Pieter

• Source: Geretti, L, Bresolin, D, Collins, P, Zivanovic Gonzalez, S & Villa, T 2017, Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne. in IFIP

تفاصيل العنوان

Disruptive innovations and forward-looking policies towards smart value chains

• Authors : Wintjes, Rene; Avigdor, Gavriel

Subjects: atira/keywords/jel_classifications/o38; name=o38 - Technological Change: Government Policy

• Source: Wintjes, R & Avigdor, G 2015, Disruptive innovations and forward-looking policies towards smart value chains. https://doi.org/10.13140/RG.2.1.4367.6885

تفاصيل العنوان