Abstract
ULg Research Unit in Networking RUN
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

(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: - C. Soldani -
Still running IPv4 at: 54.225.3.207... RUN | Montefiore | ULg
© 2000-2015.