共 50 条
- [31] SDL and MSC description of ETRI software streaming protocol 8TH INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION TECHNOLOGY, VOLS 1-3: TOWARD THE ERA OF UBIQUITOUS NETWORKS AND SOCIETIES, 2006, : U1148 - U1151
- [32] A SDL-based role system description framework Huazhong Ligong Daxue Xuebao, 2008, 2 (66-69): : 66 - 69
- [34] DESCRIPTION OF SYSTEMS BEING MODELED THROUGH THE USE OF SDL AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1982, (01): : 30 - 33
- [35] Formal verification of SDL systems at the Siemens mobile phone department TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1998, 1384 : 439 - 455
- [36] MSI-SDL: A Semantic Description Language for Multi-source Binary Translation Systems PROCEEDINGS OF THE 2013 8TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION (ICCSE 2013), 2013, : 957 - 962
- [37] Integrating Structured Declarative Language (SDL) into ASP Chef LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2024, 2025, 15245 : 374 - 379
- [39] DESCRIPTION AND SIMULATION TOOLS FOR COMPUTER NETWORK PROTOCOLS BASED ON SDL AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1986, (06): : 69 - 75
- [40] Towards a new formal SDL semantics based on abstract state machines SDL'99: THE NEXT MILLENNIUM, 1999, : 171 - 190