Luc Léonard
YOU?
Author Swipe
View article: 1Belgian-Spanish Proposal for a Time Extended LOTOS
1Belgian-Spanish Proposal for a Time Extended LOTOS Open
The Formal Description Technique LOTOS, defined in an International Standard [ISO 8807], is a method of defining the behaviour of an (information processing) system in a language with formal syntax and semantics. It has proven very success…