Z.100 Annex F1: Specification and Description Language - Overview of SDL-2010 - Annex F1 - SDL-2010 formal definition: General overview
Annex F1 provides motivation, gives an overview of the structure of the formal semantics, and contains an introduction to the Abstract State Machine (ASM) formalism, which is used to define the SDL-2010 semantics.
AAP Current Status
Step # | Action |
Start / End |
Status | Announcement | Related documents | Comments / Resolution logs |
---|