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

Standard No.

KS X 3003-1993

Release Date

1993

Published By

Korean Agency for Technology and Standards (KATS)

Status

Be replaced

Replace By

KS X 3003-1993(2018)

Latest

KS X 3003-1993(2018)

KS X 3003-1993 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