%0 Conference Paper %1 conf/sefm/SirjaniPAM20 %A Sirjani, Marjan %A Provenzano, Luciana %A Asadollah, Sara Abbaspour %A Moghadam, Mahshid Helali %B SEFM %D 2020 %E Cleophas, Loek %E Massink, Mieke %I Springer %K dblp %P 67-86 %T From Requirements to Verifiable Executable Models Using Rebeca. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2020w.html#SirjaniPAM20 %V 12524 %@ 978-3-030-67220-1

@inproceedings{conf/sefm/SirjaniPAM20, added-at = {2021-01-25T00:00:00.000+0100}, author = {Sirjani, Marjan and Provenzano, Luciana and Asadollah, Sara Abbaspour and Moghadam, Mahshid Helali}, biburl = {https://www.bibsonomy.org/bibtex/2d08f295d5bfe781d26dabda8f612bbdb/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2020w}, editor = {Cleophas, Loek and Massink, Mieke}, ee = {https://doi.org/10.1007/978-3-030-67220-1_6}, interhash = {6f3ad29cf0e4dc0540320f6e411eb128}, intrahash = {d08f295d5bfe781d26dabda8f612bbdb}, isbn = {978-3-030-67220-1}, keywords = {dblp}, pages = {67-86}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:24:00.000+0200}, title = {From Requirements to Verifiable Executable Models Using Rebeca.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2020w.html#SirjaniPAM20}, volume = 12524, year = 2020 }