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