Blar i Institutt for informasjonssikkerhet og kommunikasjonsteknologi på tidsskrift "Electronic Proceedings in Theoretical Computer Science"
Viser treff 1-1 av 1
-
Towards Verifying Safety Properties of Real-Time Probabilistic Systems
(Journal article; Peer reviewed, 2014)Using probabilities in the formal-methods-based development of safety-critical software has quickened interests in academia and industry. We address this area by our model-driven engineering method for reactive systems ...