%0 Conference Paper %1 conf/staf/AlbertCGLM0RVZ17 %A Albert, Elvira %A Cañizares, Pablo C. %A Guerra, Esther %A de Lara, Juan %A Marcos, Esperanza %A Núñez, Manuel %A Román-Díez, Guillermo %A Vara, Juan Manuel %A Zanardini, Damiano %B STAF Workshops %D 2017 %E Seidl, Martina %E Zschaler, Steffen %I Springer %K dblp %P 367-374 %T SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools. %U http://dblp.uni-trier.de/db/conf/staf/staf2017w.html#AlbertCGLM0RVZ17 %V 10748 %@ 978-3-319-74730-9

@inproceedings{conf/staf/AlbertCGLM0RVZ17, added-at = {2022-01-03T00:00:00.000+0100}, author = {Albert, Elvira and Cañizares, Pablo C. and Guerra, Esther and de Lara, Juan and Marcos, Esperanza and Núñez, Manuel and Román-Díez, Guillermo and Vara, Juan Manuel and Zanardini, Damiano}, biburl = {https://www.bibsonomy.org/bibtex/263a4b15353e3fbe7287af1d33ecfc407/dblp}, booktitle = {STAF Workshops}, crossref = {conf/staf/2017w}, editor = {Seidl, Martina and Zschaler, Steffen}, ee = {https://doi.org/10.1007/978-3-319-74730-9_32}, interhash = {84104240eb1c04ba867f3b0daf587dea}, intrahash = {63a4b15353e3fbe7287af1d33ecfc407}, isbn = {978-3-319-74730-9}, keywords = {dblp}, pages = {367-374}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T12:14:03.000+0200}, title = {SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools.}, url = {http://dblp.uni-trier.de/db/conf/staf/staf2017w.html#AlbertCGLM0RVZ17}, volume = 10748, year = 2017 }