ISO/IEC 9074:1997
情報技術 オープンシステム相互接続 Estelle: 拡張状態遷移モデルに基づく形式的記述技術

規格番号

ISO/IEC 9074:1997

制定年

1997

出版団体

International Organization for Standardization (ISO)

状態

撤回 1999-07

最新版

ISO/IEC 9074:1997

ISO/IEC 9074:1997 規範的参照

• ISO/IEC 646:1991 情報技術における情報交換のための ISO 7 ビット コード化文字セット
• ISO/IEC 7185:1990 情報技術プログラミング言語 Pascal
• ISO/IEC 7498-1:1994 情報技術、オープンシステム相互接続、基本参照モデル：基本モデル

ISO/IEC 9074:1997 発売履歴

• 1997 ISO/IEC 9074:1997 情報技術 オープンシステム相互接続 Estelle: 拡張状態遷移モデルに基づく形式的記述技術