Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns

Yuri Gil Dantas, Antoaneta Kondeva, and Vivek Nigam. Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns. In International Conference on Logic Programming (ICLP), 2020.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@inproceedings{dantas20iclp,
  author    = {Yuri Gil Dantas and 
               Antoaneta Kondeva and
               Vivek Nigam},
  title     = {Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns},
  booktitle = {International Conference on Logic Programming (ICLP)},
  year      = {2020},
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Formal Methods},
  bib2html_dl_pdf = "/docs/iclp20.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Sat Aug 29, 2020 10:39:20