Reference : An Extended LOTOS for the design of Real-Time Systems
Scientific congresses and symposiums : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/33726
An Extended LOTOS for the design of Real-Time Systems
English
Léonard, Luc [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques > > > >]
Leduc, Guy mailto [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques >]
Nov-1995
Design and Analysis of Real Time Systems
No
Yes
International
Workshop on Design and Analysis of Real Time Systems (DARTS'95)
Nov. 1995
Brussels
Belgium
[en] LOTOS ; process algebra ; real-time
[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).
Researchers
http://hdl.handle.net/2268/33726

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
RUN-PP95-04.pdfAuthor postprint131.62 kBView/Open

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.