|
| Final Report of the COST-247 Action |
Examples of the Use of ET-LOTOS
Luc Leonard
| Universite de Liege |
| Systemes et Automatique |
| Institut Montefiore, bat. 28 |
| B4000 Liege |
| Belgium |
| Tel: 32 43 66 49 92 |
| Fax: 32 43 66 29 89 |
| E-mail: leonard@montefiore.ulg.ac.be |
To justify the design choices of ET-LOTOS and to prove their advantages, the specification of two case studies is presented: a subset of the Tick-Tock case study, completed with some additional difficulties, and the rail road crossing example.
This presentation has been given during the COST-247 WG1 Special Workshop on Extended Process Algebras (Brighton, United Kingdom, July 19--20, 1994).
COST-247 Working Group(s): 1
Web Link to the research group:http://www-run.montefiore.ulg.ac.be
This Page was prepared by Mark Jorgensen.
Back to the VASY Home page