[en] 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).
Disciplines :
Computer science
Author, co-author :
Léonard, Luc; Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques
Leduc, Guy ; Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques
Language :
English
Title :
An Extended LOTOS for the design of Real-Time Systems
Publication date :
November 1995
Event name :
Workshop on Design and Analysis of Real Time Systems (DARTS'95)
