KS X 3003-1993(2018)
Open Systems Interconnection – Lotus – Formale Beschreibungstechniken basierend auf zeitlichen Beziehungen beobachteten Verhaltens

Standard-Nr.

KS X 3003-1993(2018)

Erscheinungsdatum

1993

Organisation

Korean Agency for Technology and Standards (KATS)

Zustand

ersetzt werden 2023-01

ersetzt durch

KS X 3003-2023

Letzte Version

KS X 3003-2023

KS X 3003-1993(2018) Veröffentlichungsverlauf

• 2023 KS X 3003-2023
• 0000 KS X 3003-1993(2018)
• 1993 KS X 3003-1993 INFORMATIONSVERARBEITUNGSSYSTEME – OFFENE SYSTEMVERBINDUNG – LOTOS – EINE FORMALE BESCHREIBUNGSTECHNIK, DIE AUF DER ZEITLICHEN ORDNUNG DES BEOBACHTUNGSVERHALTENS BASIERT