%0 Conference Paper %1 conf/safecomp/MartinezV22 %A Martinez, Jabier %A Varela-Vaca, Ángel Jesús %B SAFECOMP Workshops %D 2022 %E Trapp, Mario %E Schoitsch, Erwin %E Guiochet, Jérémie %E Bitsch, Friedemann %I Springer %K dblp %P 158-165 %T Dynamic Checks of Evidence Models for Assurance Projects in Eclipse OpenCert. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2022w.html#MartinezV22 %V 13415 %@ 978-3-031-14862-0

@inproceedings{conf/safecomp/MartinezV22, added-at = {2023-11-12T00:00:00.000+0100}, author = {Martinez, Jabier and Varela-Vaca, Ángel Jesús}, biburl = {https://www.bibsonomy.org/bibtex/2a055f29495963c03ba92922a2f65426c/dblp}, booktitle = {SAFECOMP Workshops}, crossref = {conf/safecomp/2022w}, editor = {Trapp, Mario and Schoitsch, Erwin and Guiochet, Jérémie and Bitsch, Friedemann}, ee = {https://doi.org/10.1007/978-3-031-14862-0_12}, interhash = {fe504dd91b71a5bbf37e8eb9381fd31a}, intrahash = {a055f29495963c03ba92922a2f65426c}, isbn = {978-3-031-14862-0}, keywords = {dblp}, pages = {158-165}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:50:58.000+0200}, title = {Dynamic Checks of Evidence Models for Assurance Projects in Eclipse OpenCert.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2022w.html#MartinezV22}, volume = 13415, year = 2022 }