共 50 条
- [22] DESIGN AND ANALYSIS OF FORMAL SPECIFICATIONS WITH THE SDL-MACHINE SYSTEMS ANALYSIS MODELLING SIMULATION, 1991, 8 (4-5): : 327 - 342
- [23] The formal semantics of SDL-2000:: Status and perspectives COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 2003, 42 (03): : 343 - 358
- [24] Formal Automated Transformation of SDL Specifications to Lotos Specifications 2008 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, 2008, : 1117 - +
- [25] Formal automated transformation of lotos specifications to SDL specifications 8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIII, PROCEEDINGS: INDUSTRIAL SYSTEMS, 2004, : 237 - 241
- [26] CST-SDL: A Scenario Description Language for Collaborative Security Training in Cyber Ranges ISECURE-ISC INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2025, 17 (01): : 59 - 73
- [27] Translating OMT* to SDL, coupling Object-Oriented analysis and design with Formal Description Techniques METHOD ENGINEERING: PRINCIPLES OF METHOD CONSTRUCTION AND TOOL SUPPORT, 1996, : 126 - 141
- [29] CCITT SDL - OVERVIEW OF THE LANGUAGE AND ITS APPLICATIONS COMPUTER NETWORKS AND ISDN SYSTEMS, 1987, 13 (02): : 65 - 74
- [30] Cinderella SLIPPER: An SDL to C-code generator SDL 2005: MODEL DRIVEN, PROCEEDINGS, 2005, 3530 : 210 - 223