Reference : An Enhanced Version of Timed LOTOS and its Application to a Case study
Scientific congresses and symposiums : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/23852
An Enhanced Version of Timed LOTOS and its Application to a Case study
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 >]
Oct-1993
FORMAL DESCRIPTION TECHNIQUES, VI
Tenney, R. L.
Amer, P. D.
Uyar, M. U.
Elsevier Science
IFIP TRANSACTIONS C22 - COMMUNICATION SYSTEMS
483-498
Yes
No
International
0-444-81773-5, Unique-ID = ISI:A1994BA94T00030
Sixth International Conference on Formal Description Techniques (FORTE '93)
26-29 Oct. 1993
Boston
USA
[en] We propose here ET-LOTOS, a timed extension of LOTOS. It is an enhancement of Timed LOTOS that we presented at FORTE 92. We show how some simple modifications allow us to improve the expressiveness of our former formalism. To assess ET-LOTOS, we apply it to the specification of a small case study. Finally, we show how the semantics of ET-LOTOS could be modified to easily define more powerful operators, if one ever had to.
Researchers
http://hdl.handle.net/2268/23852
0926-549X

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
RUN-PP94-01.pdfAuthor postprint239.43 kBView/Open

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.