Specification and verification of real-time properties using LOTOS and SQTL

Abderrahmane Lakas, Gordon S. Blair, Amanda Chetwynd

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Specification and verification of real-time properties using LOTOS and SQTL'. Together they form a unique fingerprint.

Engineering & Materials Science