共 50 条
- [4] Development and verification of a FACTS digital real-time simulator IEEE/PES TRANSMISSION AND DISTRIBUTION CONFERENCE AND EXHIBITION 2002: ASIA PACIFIC, VOLS 1-3, CONFERENCE PROCEEDINGS: NEW WAVE OF T&D TECHNOLOGY FROM ASIA PACIFIC, 2002, : 324 - 329
- [5] A model-based development approach for the verification of real-time Java']Java code CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2011, 23 (13): : 1583 - 1606
- [6] Development and implementation of a raspberry Pi-based IoT system for real-time performance monitoring of an instrumented tractor SMART AGRICULTURAL TECHNOLOGY, 2024, 9
- [7] Verification, Performance Analysis and Controller Synthesis for Real-Time Systems ENGINEERING METHODS AND TOOLS FOR SOFTWARE SAFETY AND SECURITY, 2009, 22 : 203 - 229
- [8] A verification of accuracy in RISC performance analysis for real-time systems INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-IV, PROCEEDINGS, 1998, : 915 - 922
- [10] Verification, Performance Analysis and Controller Synthesis for Real-Time Systems FUNDAMENTALS OF SOFTWARE ENGINEERING, 2010, 5961 : 34 - 61