Composition of proof-carrying architectures for cyber-physical systems. McGee, E. T. and McGregor, J. D. In SPLC, pages 419-426, 2015. ACM.
Composition of proof-carrying architectures for cyber-physical systems. [link]Link  Composition of proof-carrying architectures for cyber-physical systems. [link]Paper  bibtex   
@inproceedings{ conf/splc/McGeeM15,
  added-at = {2015-08-14T00:00:00.000+0200},
  author = {McGee, Ethan T. and McGregor, John D.},
  biburl = {http://www.bibsonomy.org/bibtex/266cf3fdaaba3f48df587243fad738211/dblp},
  booktitle = {SPLC},
  crossref = {conf/splc/2015},
  editor = {Schmidt, Douglas C.},
  ee = {http://doi.acm.org/10.1145/2791060.2793676},
  interhash = {a91e8adb46d031461249568da4b05640},
  intrahash = {66cf3fdaaba3f48df587243fad738211},
  isbn = {978-1-4503-3613-0},
  keywords = {dblp},
  pages = {419-426},
  publisher = {ACM},
  title = {Composition of proof-carrying architectures for cyber-physical systems.},
  url = {http://dblp.uni-trier.de/db/conf/splc/splc2015.html#McGeeM15},
  year = {2015}
}
Downloads: 0