Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified 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)

@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 Mon Jan 08, 2024 13:46:57