Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems

Carolyn Talcott, Vivek Nigam, Farhad Arbab, and Tobias Kappé. Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. In Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, LNCS, pp. 1–35, 2016. 16th edition in the series of Schools on Formal Methods (SFM), Bertinoro (Italy), 20-24 June 2016.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@incollection{talcott16quanticol,
  title = {Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems},
  author = {Carolyn Talcott and Vivek Nigam and Farhad Arbab and Tobias Kapp\'e},
  booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems},
  pages     = {1--35},
  series = {LNCS},
  year = {2016},
  note = {16th edition in the series of Schools on Formal Methods (SFM), Bertinoro (Italy), 20-24 June 2016.}
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Formal Methods},
  bib2html_dl_pdf = "/docs/soft-agents-tutorial.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Wed Jul 19, 2017 09:17:26