共 50 条
- [22] Model checking of concurrent system with SDL-- specification MELECON 2000: INFORMATION TECHNOLOGY AND ELECTROTECHNOLOGY FOR THE MEDITERRANEAN COUNTRIES, VOLS 1-3, PROCEEDINGS, 2000, : 77 - 80
- [24] Design for testability of communication protocols based on SDL specification SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 151 - 164
- [25] Toward automatic generation of promela models from SDL specification CONTEL 2005: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS, VOLS 1 AND 2, 2005, : 639 - 644
- [26] Application of SDL-92 for the specification of OSI management systems INTEGRATED NETWORK MANAGEMENT VI: DISTRIBUTED MANAGEMENT FOR THE NETWORKED MILLENNIUM, 1999, : 447 - 460
- [27] Specification, validation and implementation of ATM UNI signaling protocols in SDL SDL'99: THE NEXT MILLENNIUM, 1999, : 341 - 353
- [28] Specification and implementation of distributed systems using SDL-technology Avtomatika i Vychislitel'naya Tekhnika, 1992, (01): : 19 - 23
- [30] On Architecture Specification SOFSEM 2018: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2018, 10706 : 19 - 39