Dokumente Fakultät für Mathematik und Informatik (inkl. GAUSS) nach Gutachter "Castanet, Richard Prof. Dr."
Anzeige 1-1 von 1
-
Algorithms and Data Structures for Parametric Analysis of Real-Time Systems
(2009-06-17)This document is intended to contribute to the area of validation and verification of communicating real time systems, with emphasis put on parametric reachability analysis of systems modeled ...