Z.100 Annex F1: Specification and Description Language - Overview of SDL-2010 - SDL formal definition: General overview
Annex F1 provides the motivation for and the main objectives of a formal semantics definition for SDL-2010. It gives an overview of the structure of the formal semantics, and it also 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 |
---|