Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

A Framework for Analyzing Adaptive Autonomous Aerial Vehicles

Ian i. Mason, Vivek Nigam, Carolyn L. Talcott, and Alisson Vasconcelos De Brito. A Framework for Analyzing Adaptive Autonomous Aerial Vehicles. In Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers, pp. 406–422, 2017.

Download

[PDF] [gzipped postscript] [postscript] [HTML] 

Abstract

(unavailable)

BibTeX

@inproceedings{mason17cosim,
  author    = {Ian i. Mason and
               Vivek Nigam and
               Carolyn L. Talcott and
               Alisson Vasconcelos De Brito},
  title     = {A Framework for Analyzing Adaptive Autonomous Aerial Vehicles},
  booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
               DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
               4-5, 2017, Revised Selected Papers},
  pages     = {406--422},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-74781-1_28},
  doi       = {10.1007/978-3-319-74781-1_28},
bib2html_pubtype = {Refereed Conference/Workshop},
bib2html_rescat = {Formal Methods},
bib2html_dl_pdf = "/docs/cosim17.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Fri Apr 20, 2018 10:54:24