Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering

Antoaneta Kondeva, Carmen Carlan, Harald Ruess, and Vivek Nigam. On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering. In The 9th IEEE International Workshop on Software Certification WoSoCer, 2019.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@inproceedings{kondeva19wosocer,
  author    = {Antoaneta Kondeva and Carmen Carlan and Harald Ruess and Vivek Nigam},
  title     = {On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering},
  booktitle = {The 9th IEEE International Workshop on Software Certification {WoSoCer}},
  year      = {2019},
   bib2html_pubtype = {Refereed Conference/Workshop},
bib2html_rescat = {Formal Methods},
bib2html_dl_pdf = "/docs/wosocer02.pdf"
}

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