We have over 12,000 students, from over 100 countries, within one of the safest campuses in the UK


97% of Lancaster students go into work or further study within six months of graduating

Home > Research > Publications & Outputs > Specification and Verification of Real-Time Saf...
View graph of relations

« Back

Specification and Verification of Real-Time Safety and Liveness Properties using LOTOS and SQTL.

Research output: Contribution in Book/Report/ProceedingsChapter


Publication date03/1996
Host publicationProceedings of the Eighth International Workshop on Software Specification and Design
<mark>Original language</mark>English