Science.Online
Search
Publisher and Institutes
Akademie Verlag
Deutsches Institut für Urbanistik
Oldenbourg Wissenschaftsverlag
Walter de Gruyter
Schattauer
You are here: Home :: Keyword index :: pre bis ret :: primary prevention - probability measure probabilistic model checking

Items for "probabilistic model checking"

Probabilistic Model Checking of Networked Automation Systems

In this article, the possibilities of Probabilistic Model Checking as a formal method for the analysis of Networked Automation Systems (NAS) are analyzed...

Keywords: probabilistic model checking, automata, synchronization, networked automation systems, response times

12/2007 | at – Automatisierungstechnik, Oldenbourg Wissenschaftsverlag