%0 Conference Paper %1 conf/isola/RobbyHB18 %A Robby, %A Hatcliff, John %A Belt, Jason %B ISoLA (1) %D 2018 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 539-545 %T Model-Based Development for High-Assurance Embedded Systems. %U http://dblp.uni-trier.de/db/conf/isola/isola2018-1.html#RobbyHB18 %V 11244 %@ 978-3-030-03418-4

@inproceedings{conf/isola/RobbyHB18, added-at = {2018-10-29T00:00:00.000+0100}, author = {Robby and Hatcliff, John and Belt, Jason}, biburl = {https://www.bibsonomy.org/bibtex/284d5bc4214e782c08ab920c0ff6889d4/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_32}, interhash = {366971a9ab15610aba90b3649307c1cc}, intrahash = {84d5bc4214e782c08ab920c0ff6889d4}, isbn = {978-3-030-03418-4}, keywords = {dblp}, pages = {539-545}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:43:23.000+0200}, title = {Model-Based Development for High-Assurance Embedded Systems.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2018-1.html#RobbyHB18}, volume = 11244, year = 2018 }