Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified by Research Category •

Inferring Executable Models from Formalized Experimental Evidence

Vivek Nigam, Robin Donaldson, Merrill Knapp, Tim McCarthy, and Carolyn Talcott. Inferring Executable Models from Formalized Experimental Evidence. In CMSB, 2015.

Download

[PDF] 

Abstract

(unavailable)

@inproceedings{nigam15cmsb,
  author    = {Vivek Nigam and Robin Donaldson and Merrill Knapp and Tim McCarthy and Carolyn Talcott},
  title     = {Inferring Executable Models from Formalized Experimental Evidence},
  booktitle = {CMSB},
  year      = {2015},
  bib2html_pubtype = {Refereed Conference/Workshop},
    bib2html_rescat = {Other},
  year  = "2015",
  bib2html_dl_pdf = "/docs/cmsb15.pdf"
}  

Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57