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