%0 Conference Paper %1 conf/ecsa/HissamCM15 %A Hissam, Scott A. %A Chaki, Sagar %A Moreno, Gabriel A. %B ECSA Workshops %D 2015 %E Crnkovic, Ivica %I ACM %K dblp %P 6:1-6:4 %T High Assurance for Distributed Cyber Physical Systems. %U http://dblp.uni-trier.de/db/conf/ecsa/ecsa2015w.html#HissamCM15 %@ 978-1-4503-3393-1

@inproceedings{conf/ecsa/HissamCM15, added-at = {2018-11-06T00:00:00.000+0100}, author = {Hissam, Scott A. and Chaki, Sagar and Moreno, Gabriel A.}, biburl = {https://www.bibsonomy.org/bibtex/2722e4cac9ddfedfa253e431514e4a845/dblp}, booktitle = {ECSA Workshops}, crossref = {conf/ecsa/2015w}, editor = {Crnkovic, Ivica}, ee = {https://doi.org/10.1145/2797433.2797439}, interhash = {cb2784aaf688e988c86710ed220ab4ba}, intrahash = {722e4cac9ddfedfa253e431514e4a845}, isbn = {978-1-4503-3393-1}, keywords = {dblp}, pages = {6:1-6:4}, publisher = {ACM}, timestamp = {2018-11-07T14:55:52.000+0100}, title = {High Assurance for Distributed Cyber Physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/ecsa/ecsa2015w.html#HissamCM15}, year = 2015 }