共 50 条
- [32] Extending the application of formal methods to analyse human error and system failure during accident investigations SOFTWARE ENGINEERING JOURNAL, 1996, 11 (06): : 355 - 365
- [33] An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2009, 5902 : 153 - 169
- [34] Formal Methods for Robotic System Control Software JOHNS HOPKINS APL TECHNICAL DIGEST, 2013, 32 (02): : 490 - 498
- [36] Avionics system testing based on formal methods Ruan Jian Xue Bao/Journal of Software, 2015, 26 (02): : 181 - 201