共 50 条
- [1] Testing and model-checking techniques for diagnosis TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2007, 4581 : 138 - +
- [4] Using Model-Checking Techniques for Component-Based Systems with Reconfigurations ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (178): : 33 - 46
- [6] Verification of web service flows with model-checking techniques FIRST INTERNATIONAL SYMPOSIUM ON CYBER WORLDS, PROCEEDINGS, 2002, : 378 - 385
- [7] The model-checking kit APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 463 - 472
- [9] Checking Fine and Gray subdistribution hazards model with cumulative sums of residuals Lifetime Data Analysis, 2015, 21 : 197 - 217