درباره ما
Specification and Description Language - Overview of SDL-2010
ITU-T Z.100 Annex F1 (10/2016)
Year: 2016
Abstract: 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.
-
Statistics
Specification and Description Language - Overview of SDL-2010
Show full item record
| contributor author | ITU-T - International Telecommunication Union/ITU Telcommunication Sector | |
| date accessioned | 2017-11-25T08:08:31Z | |
| date available | 2017-11-25T08:08:31Z | |
| date copyright | 2016-10-29 | |
| date issued | 2016 | |
| identifier other | T-REC-Z.100-201610-I!AnnF1!PDF-E.pdf | |
| identifier uri | http://yse.yabesh.ir/std;jsessionid=F3E2BC869C414D4FBB30C23FA607775E/handle/yse/251880 | |
| description abstract | 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. | |
| language | English | |
| title | Specification and Description Language - Overview of SDL-2010 | en |
| title | ITU-T Z.100 Annex F1 (10/2016) | num |
| type | standard | |
| status | In force | |
| tree | ITU-T - International Telecommunication Union/ITU Telcommunication Sector:;2016 | |
| contenttype | fulltext |