DMCA

Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking

by Tom Bienmüller , Udo Brockmeyer , Werner Damm , Gert Döhmen , Claus Eßmann , Hans-Jürgen Holberg , Hardi Hungar , Bernhard Josko , Rainer Schlör , Gunnar Wittich , Hartmut Wittke , Geoffrey Clements , John Rowlands , Eric Sefton
Citations:5 - 1 self