Synthesis of Live Behavior Models for Fallible Domains

D'Ippolito, N.; Braberman, V.; Piterman, N.; Uchitel, S.

Synthesis of Live Behavior Models for Fallible Domains (bibtex)

@InProceedings{DBPU11,
  author = 	 {N. D'Ippolito and V. Braberman and N. Piterman and S. Uchitel},
  title = 	 {Synthesis of Live Behavior Models for Fallible Domains},
  booktitle = {33rd International Conference on Software Engineering},
  pages = 	 {211-220},
  year = 	 {2011},
  pdf = {2011/DBPU11.pdf},
  url = {2011/DBPU11.html},
  publisher = acm,
  keywords = {Synthesis,Model Driven Development},
}