• Sorted by Date • Classified by Publication Type • Classified by Research Category •
Carmen Cârlan, Vivek Nigam, Alexandros Tsalidis, and Sebastian Voss. ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models. In The 9th IEEE International Workshop on Software Certification WoSoCer, 2019.
(unavailable)
@inproceedings{carlan19wosocer,
author = { Carmen C{\^a}rlan and Vivek Nigam and Alexandros Tsalidis and Sebastian Voss},
title = {ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models},
booktitle = {The 9th IEEE International Workshop on Software Certification {WoSoCer}},
year = {2019},
bib2html_pubtype = {Refereed Conference/Workshop},
bib2html_rescat = {Model-Based Engineering},
bib2html_dl_pdf = "/docs/wosocer01.pdf"
}
Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57