%0 Conference Paper %1 conf/secdev/Pike16 %A Pike, Lee %B SecDev %D 2016 %I IEEE Computer Society %K dblp %P 25-29 %T Hints for High-Assurance Cyber-Physical System Design. %U http://dblp.uni-trier.de/db/conf/secdev/secdev2016.html#Pike16 %@ 978-1-5090-5589-0

@inproceedings{conf/secdev/Pike16, added-at = {2023-03-24T00:00:00.000+0100}, author = {Pike, Lee}, biburl = {https://www.bibsonomy.org/bibtex/27163508cc8edb077c87b0d94f9c7b51c/dblp}, booktitle = {SecDev}, crossref = {conf/secdev/2016}, ee = {https://doi.ieeecomputersociety.org/10.1109/SecDev.2016.016}, interhash = {53a6ac68c8f9ac5f61176fd041280262}, intrahash = {7163508cc8edb077c87b0d94f9c7b51c}, isbn = {978-1-5090-5589-0}, keywords = {dblp}, pages = {25-29}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:40:26.000+0200}, title = {Hints for High-Assurance Cyber-Physical System Design.}, url = {http://dblp.uni-trier.de/db/conf/secdev/secdev2016.html#Pike16}, year = 2016 }