Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
- 1 July 2000
- journal article
- Published by Elsevier BV in Computer Communications
- Vol. 23 (12), 1104-1123
- https://doi.org/10.1016/s0140-3664(99)00240-6
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Revisiting the concept of hypermedia document consistencyPublished by Association for Computing Machinery (ACM) ,1999
- Design methodology and formal validation of hypermedia documentsPublished by Association for Computing Machinery (ACM) ,1998
- OPEN/CÆSAR: An open software architecture for verification, simulation, and testingPublished by Springer Science and Business Media LLC ,1998
- An introduction to ET-LOTOS for the description of time-sensitive systemsComputer Networks and ISDN Systems, 1997
- Formal methods after 15 years: Status and trends a paper based on contributions of the panelists at the FORmal TEchnique '95 Conference, Montreal, october 1995Computer Networks and ISDN Systems, 1996
- A temporal reachability analysisIFIP Advances in Information and Communication Technology, 1996
- Proving temporal consistency in a new multimedia synchronization modelPublished by Association for Computing Machinery (ACM) ,1996
- A general-purpose multimedia synchronization mechanism based on causal relationsIEEE Journal on Selected Areas in Communications, 1996
- An introduction to LOTOS: learning by examplesComputer Networks and ISDN Systems, 1992
- Introduction to the ISO specification language LOTOSComputer Networks and ISDN Systems, 1987