共 50 条
- [21] Stepwise Formal Modeling and Verification of Self-Adaptive systems with Event-B. The Automatic Rover Protection case study 2016 21ST INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2016), 2016, : 43 - 52
- [26] Applying formal proof techniques to avionics software: A pragmatic approach FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1798 - 1815
- [29] Automatic formal verification of DSP software 37TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2000, 2000, : 130 - 135