共 50 条
- [22] Verification of real-time systems design SOFTWARE TESTING VERIFICATION & RELIABILITY, 2010, 20 (01): : 3 - 37
- [25] A logic for knowledge, correctness, and real time COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2004, 3487 : 1 - 15
- [26] Time properties Verification of UML/MARTE Real-Time Systems 2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2014, : 386 - 393
- [27] Performance Evaluation of Real Time Scheduling Algorithms for Multiprocessor Systems 2015 INTERNATIONAL CONFERENCE ON ROBOTICS, AUTOMATION, CONTROL AND EMBEDDED SYSTEMS (RACE), 2015,
- [28] Discrete Real-Time and Stochastic-Time Process Algebra for Performance Analysis of Distributed Systems 2008 8TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2008, : 180 - 189
- [29] Combined formal refinement and model checking for real-time systems verification LANGUAGES FOR SYSTEM SPECIFICATION: SELECTED CONTRIBUTIONS ON UML, SYSTEMC, SYSTEM VERILOG, MIXED-SIGNAL SYSTEMS, AND PROPERTY SPECIFICATION FROM FDL'03, 2004, : 301 - 314
- [30] Development of a Real-Time Tractor Model for Gear Shift Performance Verification AGRICULTURE-BASEL, 2023, 13 (11):