par Hernalsteen, Christian ;Février, Arnaud
Référence Lecture notes in computer science, 1231, page (400-414)
Publication Publié, 1997
Article révisé par les pairs
Résumé : We present in this paper a suspend/resume operator for ET-LOTOS (a timed extension of LOTOS). We focus on the way it can be defined and on its usefulness for the specification of real-time systems. We show that this operator is essential to specify typical real-time systems and we give a specification technique to describe this kind of system. We apply our operator and method to a small example.