共 50 条
- [31] Linear parametric model checking of timed automata JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2002, 52-3 : 183 - 220
- [34] Model Checking General Linear Temporal Logic AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2013), 2013, 8123 : 119 - 133
- [35] Adaptive REST Applications via Model Inference and Probabilistic Model Checking 2013 IFIP/IEEE INTERNATIONAL SYMPOSIUM ON INTEGRATED NETWORK MANAGEMENT (IM 2013), 2013, : 1376 - 1382
- [36] Utilization of Model Test for Checking Vehicles Properties TRANSPORT MEANS 2010, 2010, : 81 - 84
- [40] Graded CTL Model Checking for Test Generation THEORY OF MODELING & SIMULATION: DEVS INTEGRATIVE M&S SYMPOSIUM 2011 (TMS-DEVS 2011) - 2011 SPRING SIMULATION, 2011, 43 (01): : 59 - 66