ULg Research Unit in Networking RUN

An Extended LOTOS for the design of Real-Time Systems

L. Léonard1 and G. Leduc1

1 Research unit in Networking, EECS department, University of Liège, Belgium



We give a brief presentation of ET-LOTOS. ET-LOTOS extends with quantative time the formal description technique LOTOS. ET-LOTOS serves as basis for the time extension part of E-LOTOS, the new standard for LOTOS currently developed within ISO (ISO/IEC JTC1/SC21).


ET-LOTOS, LOTOS, process algebra, real-time

[ Home | People | Research Topics | Projects | Publications | IFIP WG 6.1 | Events and Conferences | CSS | How to Reach Us ]

Editor: - G. Leduc -
Webmaster: - C. Soldani -
Still running IPv4 at: RUN | Montefiore | ULg
© 2000-2015.