Standards
[CURRENT]
ISO 8807
ISO 8807
Information processing systems; open systems interconnection; LOTOS; a formal description technique based on the temporal ordering of observational behaviour
Title (German)
Informationsverarbeitungssysteme; Kommunikation Offener Systeme; LOTOS; Formale Beschreibungstechnik auf der Basis von zeitlich geordneten beobachtbarem Verhalten
Responsible national committee
NA 043-01-07 AA - Software and systems engineering