Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Diciolla, Marco"'
Autor:
Diciolla, Marco
Probabilistic model checking is a powerful technique used to ensure the correct functioning of systems which exhibit real-time and stochastic behaviours. Many such systems are embedded and used in safety-critical situations, to mention implantable me
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618491
Publikováno v:
In Information and Computation August 2014 236:87-101
Autor:
Marco Diciolla, M, Diciolla, Marco
Probabilistic model checking is a powerful technique used to ensure the correct functioning of systems which exhibit real-time and stochastic behaviours. Many such systems are embedded and used in safety-critical situations, to mention implantable me
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1064::3df463de3c4b9366cfb560c8f6975a4f
https://ora.ox.ac.uk/objects/uuid:fee320e8-9d4f-4831-a999-f5a1febade36
https://ora.ox.ac.uk/objects/uuid:fee320e8-9d4f-4831-a999-f5a1febade36
Publikováno v:
Proceedings of the 14th International Conference Embedded Software; 10/12/2014, p1-10, 10p
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.
Publikováno v:
Proceedings of the 16th International Conference Hybrid Systems Computation & Control; 4/8/2013, p131-136, 6p
Publikováno v:
Proceedings of the 15th ACM International Conference Hybrid Systems Computation & Control; 4/17/2012, p265-274, 10p
Publikováno v:
2012 IEEE 33rd Real-Time Systems Symposium; 1/ 1/2012, p263-272, 10p
Publikováno v:
ACM Transactions on Computational Logic; Nov2013, Vol. 14 Issue 4, p1-35, 35p