Programming and Verifying Component Ensembles. De Nicola, R.; Lluch-Lafuente, A.; Loreti, M.; Morichetta, A.; Pugliese, R.; Senni, V.; and Tiezzi, F. In Bensalem, S.; Lakhnech, Y.; and Legay, A., editors, From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, volume 8415, of Lecture Notes in Computer Science, pages 69–83, 2014. Springer.
Programming and Verifying Component Ensembles [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/etaps/NicolaLLMPST14,
  author    = {Rocco {De Nicola} and
               Alberto Lluch{-}Lafuente and
               Michele Loreti and
               Andrea Morichetta and
               Rosario Pugliese and
               Valerio Senni and
               Francesco Tiezzi},
  editor    = {Saddek Bensalem and
               Yassine Lakhnech and
               Axel Legay},
  title     = {Programming and Verifying Component Ensembles},
  booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
               Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
               April 6, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8415},
  pages     = {69--83},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54848-2\_5},
  doi       = {10.1007/978-3-642-54848-2\_5},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/conf/etaps/NicolaLLMPST14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0