Skip to main content

Analysing Embedded System Software

Authors

Ansgar Fehnker, Ralf Huuck, Felix Rauch and Sean Seefried

NICTA

Extended abstract

Abstract

BibTeX Entry

  @inproceedings{Fehnker_HRS_07,
    author           = {Ansgar Fehnker and Ralf Huuck and Felix Rauch and Sean Seefried},
    month            = jul,
    year             = {2007},
    title            = {{Analysing Embedded System Software}},
    address          = {Oxford, UK},
    booktitle        = {Proceedings of C/C++ Verification Workshop}
  }

Download

Served by Apache on Linux on seL4.