%0 Conference Paper %1 conf/models/DragomirRJGOKBP22 %A Dragomir, Iulia %A Redondo, Carlos %A Jorge, Tiago %A Gouveia, Laura %A Ober, Iulian %A Kolesnikov, Ivan %A Bozga, Marius %A Perrotin, Maxime %B MoDELS (Companion) %D 2022 %E Kühn, Thomas %E Sousa, Vasco %I ACM %K dblp %P 237-246 %T Model-checking of space systems designed with TASTE/SDL. %U http://dblp.uni-trier.de/db/conf/models/models2022c.html#DragomirRJGOKBP22 %@ 978-1-4503-9467-3

@inproceedings{conf/models/DragomirRJGOKBP22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Dragomir, Iulia and Redondo, Carlos and Jorge, Tiago and Gouveia, Laura and Ober, Iulian and Kolesnikov, Ivan and Bozga, Marius and Perrotin, Maxime}, biburl = {https://www.bibsonomy.org/bibtex/21949b8c076642df2d786e6b04ae45162/dblp}, booktitle = {MoDELS (Companion)}, crossref = {conf/models/2022c}, editor = {Kühn, Thomas and Sousa, Vasco}, ee = {https://doi.org/10.1145/3550356.3561541}, interhash = {972af12f671fcd8449310480fdac3587}, intrahash = {1949b8c076642df2d786e6b04ae45162}, isbn = {978-1-4503-9467-3}, keywords = {dblp}, pages = {237-246}, publisher = {ACM}, timestamp = {2024-04-09T21:58:29.000+0200}, title = {Model-checking of space systems designed with TASTE/SDL.}, url = {http://dblp.uni-trier.de/db/conf/models/models2022c.html#DragomirRJGOKBP22}, year = 2022 }