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