Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models

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.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@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 = {Other},
bib2html_dl_pdf = "/docs/wosocer01.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Tue Sep 17, 2019 08:03:20