Research Unit in Networking
	Abstract

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 2 Research unit in Networking, EECS department, University of Liège, Belgium (1995) Abstract 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). Keywords 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: - RUN Admin -

Still running IPv4 at: 3.145.48.156...

RUN | Montefiore | ULg © 2000-2025.