IEC 62243 : 2.0

Table of Contents

1. Overview
2. Normative references
3. Definitions, acronyms, and abbreviations
4. Description of AI-ESTATE
5. AI-ESTATE usage
6. Models
7. Reasoner manipulation services
Annex A (informative) - Bibliography
Annex B (informative) - Overview of EXPRESS
Annex C (informative) - Overview of ISO 10303-28:2007
Annex D (informative) - Overview of ISO 10303-21:1994
Annex E (normative) - Information object registration
Annex F (normative) - Universal resource names for
        derived XML schemas
Annex G (informative) - IEEE List of Participants

Abstract

Describes formal specifications for supporting system diagnosis.

General Product Information

Published
Document Type	Standard
Status	Current
Publisher	International Electrotechnical Committee
Pages
ISBN
Committee	TC 93