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 :: resonance Raman spectroscopy - reticulocyte response times

Items for "response times"

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