kirancodes.me
To Proof Maintenance & Beyond!
ICSE 1992

Trusted Computing Systems: The ProCoS Experience

Dines Bjørner

PDFDOI 10.1145/143062.143080dblp

Abstract

We delineate a fine-grained approach to the development of embedded computing systems, including such which exhibit real-time properties

BibTeX
@inproceedings{Bjorner:ICSE92,
  author    = {Dines Bj{\o}rner},
  title     = {Trusted Computing Systems: The {ProCoS} Experience},
  booktitle = {ICSE},
  pages     = {15--34},
  publisher = {{ACM}},
  year      = {1992},
}

Related papers