Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Alimguzhin, Vadim"'
Autor:
Sinisi, Stefano, Alimguzhin, Vadim, Mancini, Toni, Tronci, Enrico, Mari, Federico, Leeners, Brigitte
Publikováno v:
Fundamenta Informaticae, 174(3-4):283-310, 2020
In Silico Clinical Trials (ISTC), i.e., clinical experimental campaigns carried out by means of computer simulations, hold the promise to decrease time and cost for the safety and efficacy assessment of pharmacological treatments, reduce the need for
Externí odkaz:
http://arxiv.org/abs/2106.10684
Publikováno v:
Simulation Modelling Practice and Theory, 109, 102277 (2021)
A Cyber-Physical System (CPS) comprises physical as well as software subsystems. Simulation-based approaches are typically used to support design and Verification and Validation (V&V) of CPSs in several domains such as: aerospace, defence, automotive
Externí odkaz:
http://arxiv.org/abs/2106.01343
Many Control Systems are indeed Software Based Control Systems, i.e. control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic
Externí odkaz:
http://arxiv.org/abs/1210.2276
Many Embedded Systems are indeed Software Based Control Systems (SBCSs), that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches f
Externí odkaz:
http://arxiv.org/abs/1207.4474
Many Embedded Systems are indeed Software Based Control Systems, that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for autom
Externí odkaz:
http://arxiv.org/abs/1207.4098
Autor:
Sinisi, Stefano1 (AUTHOR) sinisi@di.uniroma1.it, Alimguzhin, Vadim1 (AUTHOR), Mancini, Toni1 (AUTHOR), Tronci, Enrico1 (AUTHOR), Mari, Federico2 (AUTHOR), Leeners, Brigitte3 (AUTHOR), Eiter, Thomas (AUTHOR), Maratea, Marco (AUTHOR), Vallati, Mauro (AUTHOR)
Publikováno v:
Fundamenta Informaticae. 2020, Vol. 174 Issue 3/4, p283-310. 28p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Sinisi, Stefano, Alimguzhin, Vadim, Mancini, Toni, Tronci, Enrico, Mari, Federico, Leeners, Brigitte, Eiter, Thomas, Maratea, Marco, Vallati, Mauro
Publikováno v:
Fundamenta Informaticae; 2020, Vol. 174 Issue 3/4, p283-310, 28p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.