Greifeneder, Jürgen; Frey, Georg:

Wahrscheinlichkeitsbasierte Modellverifikation Netzbasierter Automatisierungssysteme,
at Automatisierungstechnik, Oldenbourg, Band 55, Heft 12, Seiten 624-633, Dezember 2007.




Probabilistic Model Checking of Networked Automation Systems



Verlagshomepage: http://www.oldenbourg-wissenschaftsverlag.de/olb/de/1.c.335308.de



Jürgen Greifeneder, 14.12.2007 Impressum