Sfoglia Informatica per Soggetto "Temporal logics"
Items 1-1 di 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 ...