%0 Conference Paper %1 conf/isola/HatcliffLBRZ18 %A Hatcliff, John %A Larson, Brian R. %A Belt, Jason %A Robby, %A Zhang, Yi %B ISoLA (1) %D 2018 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 225-245 %T A Unified Approach for Modeling, Developing, and Assuring Critical Systems. %U http://dblp.uni-trier.de/db/conf/isola/isola2018-1.html#HatcliffLBRZ18 %V 11244 %@ 978-3-030-03418-4

@inproceedings{conf/isola/HatcliffLBRZ18, added-at = {2023-06-26T00:00:00.000+0200}, author = {Hatcliff, John and Larson, Brian R. and Belt, Jason and Robby and Zhang, Yi}, biburl = {https://www.bibsonomy.org/bibtex/217e575a02962c1cae22ff265034d48f6/dblp}, booktitle = {ISoLA (1)}, crossref = {conf/isola/2018-1}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-030-03418-4_14}, interhash = {c3ea8e6f7192717634ea6430b3cc3113}, intrahash = {17e575a02962c1cae22ff265034d48f6}, isbn = {978-3-030-03418-4}, keywords = {dblp}, pages = {225-245}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:25:47.000+0200}, title = {A Unified Approach for Modeling, Developing, and Assuring Critical Systems.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2018-1.html#HatcliffLBRZ18}, volume = 11244, year = 2018 }