%0 Conference Paper %1 conf/models/ThorburnSFABDH22 %A Thorburn, Robert %A Sassone, Vladimiro %A Fathabadi, Asieh Salehi %A Aniello, Leonardo %A Butler, Michael J. %A Dghaym, Dana %A Hoang, Thai Son %B MoDELS (Companion) %D 2022 %E Kühn, Thomas %E Sousa, Vasco %I ACM %K dblp %P 83-84 %T A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design. %U http://dblp.uni-trier.de/db/conf/models/models2022c.html#ThorburnSFABDH22 %@ 978-1-4503-9467-3

@inproceedings{conf/models/ThorburnSFABDH22, added-at = {2022-11-10T00:00:00.000+0100}, author = {Thorburn, Robert and Sassone, Vladimiro and Fathabadi, Asieh Salehi and Aniello, Leonardo and Butler, Michael J. and Dghaym, Dana and Hoang, Thai Son}, biburl = {https://www.bibsonomy.org/bibtex/2e04a624fad82246d7544aadc5920a2b8/dblp}, booktitle = {MoDELS (Companion)}, crossref = {conf/models/2022c}, editor = {Kühn, Thomas and Sousa, Vasco}, ee = {https://doi.org/10.1145/3550356.3559577}, interhash = {4f2455dce3965d091284b6ba481bef4f}, intrahash = {e04a624fad82246d7544aadc5920a2b8}, isbn = {978-1-4503-9467-3}, keywords = {dblp}, pages = {83-84}, publisher = {ACM}, timestamp = {2024-04-09T21:58:29.000+0200}, title = {A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design.}, url = {http://dblp.uni-trier.de/db/conf/models/models2022c.html#ThorburnSFABDH22}, year = 2022 }