共 50 条
- [1] Efficient Timed Diagnosis Using Automata with Timed Domains RUNTIME VERIFICATION (RV 2018), 2018, 11237 : 205 - 221
- [2] Fault diagnosis using timed automata FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2005, 3441 : 219 - 233
- [3] New approach of diagnosis with hybrid automata 2017 INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND DIAGNOSIS (ICCAD), 2017, : 298 - 302
- [4] A timed automata approach to QoS resolution International Journal of Simulation: Systems, Science and Technology, 2006, 7 (01): : 46 - 54
- [5] A game approach to determinize timed automata Formal Methods in System Design, 2015, 46 : 42 - 80
- [6] A Game Approach to Determinize Timed Automata FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, 2011, 6604 : 245 - +
- [10] Implementing timed automata specifications: the "sandwich" approach 2013 13TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD 2013), 2013, : 226 - 235