Feedback Control for Statistical Model Checking of Cyber-Physical Systems (bibtex)
by Kenan Kalajdzic, Cyrille Jégourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu
Reference:
Feedback Control for Statistical Model Checking of Cyber-Physical SystemsKenan Kalajdzic, Cyrille Jégourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu GrosuLeveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I (Tiziana Margaria, Bernhard Steffen, eds.), volume 9952 of Lecture Notes in Computer Science, pages 46–61, 2016.
Bibtex Entry:
@inproceedings{DBLP:conf/isola/KalajdzicJLBLSG16,
  author    = {Kenan Kalajdzic and
               Cyrille J{\'{e}}gourel and
               Anna Lukina and
               Ezio Bartocci and
               Axel Legay and
               Scott A. Smolka and
               Radu Grosu},
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Feedback Control for Statistical Model Checking of Cyber-Physical
               Systems},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
               Foundational Techniques - 7th International Symposium, {ISoLA} 2016,
               Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9952},
  pages     = {46--61},
  year      = {2016},
  url       = {http://dx.doi.org/10.1007/978-3-319-47166-2_4},
  doi       = {10.1007/978-3-319-47166-2_4},
  timestamp = {Mon, 02 Jan 2017 08:15:30 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isola/KalajdzicJLBLSG16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
Powered by bibtexbrowser