Titolo An Interval Logic for RealTime System Specification
Soggetto Temporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines
Descrizione Temporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines
Tecnico
N° accessi 439
Formato document
Tipo pdf
Accessibile sulle piattaforme PC, iPhone/iPad, Android, Windows Phone 7