Browsing Informatica by Subject "Temporal logics"
Now showing items 1-1 of 1
-
On the verification of parametric and real-time systems
(Universita degli studi di Salerno, 2011-05-06)Parametric and Real-Time Systems play a central role in the theory underlying the Verification and Synthesis problems. Real-time systems are present everywhere and are used in safety critical applications, such as flight ...