共 50 条
- [22] Using TTCN for radio conformance test systems SDL 2007: DESIGN FOR DEPENDABLE SYSTEMS, PROCEEDINGS, 2007, 4745 : 69 - +
- [23] ROBOTICS SIMULATOR FOR DEVELOPMENT AND VERIFICATION OF SWARM BEHAVIORS PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2019, VOL 5A, 2020,
- [25] Behavioral conformance verification in an integrated approach using UML and B INTEGRATED FORMAL METHODS, PROCEEDINGS, 2000, 1945 : 358 - 379
- [26] Conformance test development with the Java']Java modeling language CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2017, 29 (22):