|Research Unit in Networking|
and G. Leduc1
1 Research unit in Networking, EECS department, University of Liège, Belgium
AbstractWe 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).
KeywordsET-LOTOS, LOTOS, process algebra, real-time
Editor: - G. Leduc -
Webmaster: - C. Soldani -
|Still running IPv4 at: 126.96.36.199...||