Trustworthy Systems

Proceedings of the 2007 workshop on operating system platforms for embedded real-time applications

Authors

Kevin Elphinstone and Scott Brandt

NICTA

UNSW

University of California Santa Cruz

Abstract

Proceedings of the 2007 Workshop on Operating System Platforms for Embedded Real-Time Applications Technical Report , NICTA, July, 2007

Editors: Scott Brandt and Kevin Elphinstone

BibTeX Entry

  @techreport{Elphinstone_Brandt_06:tr,
    author           = {Elphinstone, Kevin and Brandt, Scott},
    institution      = {NICTA},
    month            = jul,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/487.pdf},
    title            = {Proceedings of the 2007 Workshop on Operating System Platforms for Embedded Real-Time Applications},
    year             = {2006}
  }

Download