bibtex

@inproceedings{DRJ+2,
    title = {Model-checking of space systems designed with {TASTE/SDL} },
    author = {Dragomir, Iulia and Redondo, Carlos and Jorge, Tiago and Gouveia, Laura and Ober, Iulian and Kolesnikov, Ivan and Bozga, Marius and Perrotin, Maxime},
    year = {2022},
    booktitle = {MoDELS (Companion)},
    pages = {237--246},
    publisher = {{ACM}},
    team = {axe_Mohytos, RSD},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4192083