%0 Conference Paper %1 conf/safecomp/JhaRS20 %A Jha, Susmit %A Rushby, John %A Shankar, Natarajan %B SAFECOMP %D 2020 %E Casimiro, António %E Ortmeier, Frank %E Bitsch, Friedemann %E Ferreira, Pedro %I Springer %K dblp %P 228-243 %T Model-Centered Assurance for Autonomous Systems. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2020.html#JhaRS20 %V 12234 %@ 978-3-030-54549-9

@inproceedings{conf/safecomp/JhaRS20, added-at = {2020-08-20T00:00:00.000+0200}, author = {Jha, Susmit and Rushby, John and Shankar, Natarajan}, biburl = {https://www.bibsonomy.org/bibtex/23748c3ce09780d2fc07bf17342610ff3/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2020}, editor = {Casimiro, António and Ortmeier, Frank and Bitsch, Friedemann and Ferreira, Pedro}, ee = {https://doi.org/10.1007/978-3-030-54549-9_15}, interhash = {c46ca87956cf7c22ccd09e1ca09ab38a}, intrahash = {3748c3ce09780d2fc07bf17342610ff3}, isbn = {978-3-030-54549-9}, keywords = {dblp}, pages = {228-243}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-08-21T11:36:05.000+0200}, title = {Model-Centered Assurance for Autonomous Systems.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2020.html#JhaRS20}, volume = 12234, year = 2020 }