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 proceeding › Conference contribution
3
Link opens in a new tab
Citations
(Scopus)