Published
Specifies the model based specification language VDM-SL (Vienna Development Method - Specification Language). Contains the mathematical and interchange representation, gives the syntax, the static and the dynamic semantics, and conformity for specification and tools.
PUBLISHED
ISO/IEC 13817-1:1996
90.93
Standard confirmed
Sep 24, 2024