BH GSO ISO 8807:2012 Informationsverarbeitungssysteme – Open Systems Interconnection – – LOTOS – Eine formale Beschreibungstechnik, die auf der zeitlichen Reihenfolge des Beobachtungsverhaltens basiert
1970BH GSO ISO 8807:2012 Informationsverarbeitungssysteme – Open Systems Interconnection – – LOTOS – Eine formale Beschreibungstechnik, die auf der zeitlichen Reihenfolge des Beobachtungsverhaltens basiert