Treffer: Using code level model checking to discover automation surprises
Title:
Using code level model checking to discover automation surprises
Authors:
Source:
Proceedings. The 21st Digital Avionics Systems Conference Digital avionics systems Digital Avionics Systems Conference, 2002. Proceedings. The 21st. 2:7D2-7D2 2002
Relation:
21st Digital Avionics Systems Conference. Proceedings
Database:
IEEE Xplore Digital Library