共 50 条
- [41] Model-driven development of reactive systems with SDL SDL 2005: MODEL DRIVEN, PROCEEDINGS, 2005, 3530 : 224 - 233
- [42] Simulating Distributed Systems with SDL and Hardware-in-the-Loop SDL 2015: MODEL-DRIVEN ENGINEERING FOR SMART CITIES, 2015, 9369 : 49 - 64
- [43] Rapid Prototyping of Real Time Systems using SDL IT - Information Technology, 2000, 42 (02): : 45 - 53
- [44] Development of distributed systems with SDL by means of formalized APIs SDL 2003: SYSTEM DESIGN, PROCEEDINGS, 2003, 2708 : 317 - 334
- [46] Prototyping SDL Extensions SYSTEM ANALYSIS AND MODELING: MODELS AND REUSABILITY, 2014, 8769 : 304 - 311
- [47] Verifying properties of SDL systems with a resolution theorem prover Proceedings of the SDL Forum, 1991,
- [48] Applying techniques and tools for the performance engineering of SDL systems COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 2001, 35 (06): : 647 - 665
- [49] Obtaining an SDL Entity Identifier Using SDL/SystemC Co-modeling PROCEEDINGS OF THE 2012 12TH CONFERENCE OF OPEN INNOVATIONS ASSOCIATION (FRUCT) AND SEMINAR ON E-TRAVEL, 2012, : 80 - 85
- [50] DESCRIPTION OF SYSTEMS BEING MODELED THROUGH THE USE OF SDL AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1982, (01): : 30 - 33