Blättern Naturwissenschaften, Mathematik und Informatik nach Betreuer & 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 ...