Symbolic and Computational Mechanized Verification of the ARINC823 Avionic Protocols (bibtex)
by Bruno Blanchet
Reference:
Symbolic and Computational Mechanized Verification of the ARINC823 Avionic Protocols (Bruno Blanchet), Technical report, Inria, 2017.
Bibtex Entry:
@TechReport{BlanchetInria17,
  author = 	 {Bruno Blanchet},
  title = 	 {Symbolic and Computational Mechanized Verification of the {ARINC823} Avionic Protocols},
  institution =  {Inria},
  year = 	 2017,
  number = 	 {RR-9072},
  url = 	 {https://hal.inria.fr/hal-01527671}
}
Powered by bibtexbrowser