Industrial Applications of Probabilistic Model Checking- A Model-based Approach for Embedded Networked Systems and Concurrent Data Structures -

Aachen (2017) [Doktorarbeit]

Seite(n): 1 Online-Ressource (xvi, 174 Seiten) : Illustrationen, Diagramme

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Wu, Hao

Identifikationsnummern

  • REPORT NUMBER: RWTH-2017-08297