Media type: E-Book; Conference Proceedings Title: Proceedings of the 1st international conference on High Confidence Networked Systems Contributor: Sastry, S. Shankar [Author] Corporation: Association for Computing Machinery ; ACM Special Interest Group on Embedded Systems imprint: New York, NY: ACM, 2012 Published in: ACM Digital Library ACM Conferences Extent: Online-Ressource (1 online resource (90 pages)) Language: English DOI: 10.1145/2185505 ISBN: 9781450312639 Identifier: Keywords: Computer science ; Computing Methodologies ; Computer Systems Organization ; Hardware ; Mathematics of Computing ; Computing Milieux ; Computer Applications ; Operations research ; Process control systems ; Reliability ; Konferenzschrift Reproductino series: Association for Computing Machinery-Digital Library Origination: Footnote: Title from The ACM Digital Library