共 50 条
- [2] Testing and model-checking techniques for diagnosis [J]. TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2007, 4581 : 138 - +
- [3] Parametric Model-Checking of Stopwatch Petri Nets [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2009, 15 (17) : 3273 - 3304
- [6] Direct Model-checking of SysML Models [J]. PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD), 2021, : 216 - 223
- [7] Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems [J]. FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS (FTSCS 2016), 2017, 694 : 129 - 144
- [8] Model-Checking Higher-Order Functions [J]. PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2009, : 25 - 36
- [10] Durations, parametric model-checking in timed automata with Presburger arithmetic [J]. STACS 2003, PROCEEDINGS, 2003, 2607 : 687 - 698