共 50 条
- [31] EXTENSION OF GRAFCET FOR THE REPRESENTATION OF COMPLEX REAL-TIME SYSTEMS RAIRO-AUTOMATIQUE-SYSTEMS ANALYSIS AND CONTROL, 1981, 15 (02): : 159 - 191
- [32] Time-optimal test cases for real-time systems FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2003, 2791 : 234 - 245
- [33] Temporal firewalls in large distributed real-time systems PROCEEDINGS OF THE SIXTH IEEE COMPUTER SOCIETY WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, 1997, : 310 - 315
- [36] Prediction of Abnormal Temporal Behavior in Real-Time Systems 33RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2018, : 359 - 367
- [37] TEMPORAL REASONING ABOUT REAL-TIME REACTIVE SYSTEMS IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 19 : 249 - 256
- [40] Test cases generation for nondeterministic real-time systems FORMAL APPROACHES TO SOFTWARE TESTING, 2004, 2931 : 131 - 146