KS X 3003-1993(2018)
Open Systems Interconnection - Lotus - Formal description techniques based on temporal relationships of observed behavior

Standard No.

KS X 3003-1993(2018)

Release Date

1993

Published By

Korean Agency for Technology and Standards (KATS)

Latest

KS X 3003-1993(2018)

KS X 3003-1993(2018) history

• 0000 KS X 3003-1993(2018)
• 1993 KS X 3003-1993 INFORMATION PROCESSING SYSTEMS -- OPEN SYSTEMS INTERCONNECTION - LOTOS - A FORMAL DESCRIPTION TECHNIQUE BASED ON THE TEMPORAL ORDERING OF OBSERVATIONAL BEHAVIOUR