%0 Conference Paper %1 conf/hase/HydenMR16 %A Hyden, Paul %A Moskowitz, Ira S. %A Russell, Stephen %B HASE %D 2016 %E Babiceanu, Radu F. %E Waeselynck, Hélène %E Paul, Raymond A. %E Cukic, Bojan %E Xu, Jie %I IEEE Computer Society %K dblp %P 213-219 %T Using Network Topology to Supplement High Assurance Systems. %U http://dblp.uni-trier.de/db/conf/hase/hase2016.html#HydenMR16 %@ 978-1-4673-9913-5

@inproceedings{conf/hase/HydenMR16, added-at = {2023-03-24T00:00:00.000+0100}, author = {Hyden, Paul and Moskowitz, Ira S. and Russell, Stephen}, biburl = {https://www.bibsonomy.org/bibtex/2935a2f1c19c4e36d1e1716357ec3a579/dblp}, booktitle = {HASE}, crossref = {conf/hase/2016}, editor = {Babiceanu, Radu F. and Waeselynck, Hélène and Paul, Raymond A. and Cukic, Bojan and Xu, Jie}, ee = {https://doi.ieeecomputersociety.org/10.1109/HASE.2016.51}, interhash = {33a345a5603870cc24b7816a4dd4ee90}, intrahash = {935a2f1c19c4e36d1e1716357ec3a579}, isbn = {978-1-4673-9913-5}, keywords = {dblp}, pages = {213-219}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:23:54.000+0200}, title = {Using Network Topology to Supplement High Assurance Systems.}, url = {http://dblp.uni-trier.de/db/conf/hase/hase2016.html#HydenMR16}, year = 2016 }