VDM-SL


Also found in: Acronyms.

VDM-SL

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in periodicals archive ?
The Asian contributors propose word sense disambiguation based on relation structure, a remote sensing image fusion algorithm, strategies of modeling from VDM-SL to JML, and a negotiation management method for the IKE protocol.
A framework for automated testing from VDM-SL specifications, In: Proc.
The work in [27] of Zafar is the specification of moving block interlocking system using VDM-SL. Haxthausen et al.