Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Marco Diciolla, M"'
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
