Reference : An Extended LOTOS for the design of Real-Time Systems

	Document type :	Scientific congresses and symposiums : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/2268/33726

Title :	An Extended LOTOS for the design of Real-Time Systems
Language :	English
Author, co-author :	Léonard, Luc [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques > > > >]
	Leduc, Guy [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques >]
Publication date :	Nov-1995
Main document title :	Design and Analysis of Real Time Systems
On invitation :	Yes
Audience :	International
Event name :	Workshop on Design and Analysis of Real Time Systems (DARTS'95)
Event date :	Nov. 1995
Event place (city) :	Brussels
Event country :	Belgium
Keywords :	[en] LOTOS ; process algebra ; real-time
Abstract :	[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).
Target :	Researchers
Permalink :	http://hdl.handle.net/2268/33726

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access RUN-PP95-04.pdf Author postprint 131.62 kB View/Open

All documents in ORBi are protected by a user license.

 

© ULg Library Network |  Feedback |  ORBi legal notices

Dspace v1.5