Browsing Fakultät für Mathematik und Informatik (inkl. GAUSS) by Referee "Castanet, Richard Prof. Dr."
Now showing items 1-1 of 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 ...