Synthesis of live behaviour models for fallible domains

ICSE 2011, Proceedings of the 33rd International Conference on Software Engineering, page 211--220 - 2011
Download the publication : synthesis of live behaviour models for fallible domains.pdf [228Ko]  

BibTex references

@InProceedings\{DBPU11,
  author       = "D´Ippolito, Nicolas and Braberman, V\'{\i}ctor and Piterman, Nir and Uchitel, Sebastian",
  title        = "Synthesis of live behaviour models for fallible domains",
  booktitle    = "ICSE 2011, Proceedings of the 33rd International Conference on Software Engineering",
  pages        = "211--220",
  year         = "2011",
  publisher    = "ACM New York, NY, USA ",
  url          = "http://publicaciones.dc.uba.ar/Publications/2011/DBPU11"
}

Other publications in the database

» Nicolas D´Ippolito
» Víctor Braberman
» Nir Piterman
» Sebastian Uchitel