Browsing Fakultet for informasjonsteknologi og elektroteknikk (IE) by Journals "Electronic Proceedings in Theoretical Computer Science"
Now showing items 1-1 of 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 ...