Formal verification and validation of embedded systems: the UML-based MADES approach. Baresi, L., Blohm, G., Kolovos, D. S., Drivalos Matragkas, N., Motta, A., Paige, R. F., Radjenovic, A., & Rossi, M. Software and System Modeling (SOSYM), 14(1):343-363, 2015.
Formal verification and validation of embedded systems: the UML-based MADES approach [link]Paper  bibtex   
@article{ dblp1791072,
  title = {Formal verification and validation of embedded systems: the UML-based MADES approach},
  author = {Luciano Baresi and Gundula Blohm and Dimitrios S. Kolovos and Nicholas Drivalos Matragkas and Alfredo Motta and Richard F. Paige and Alek Radjenovic and Matteo Rossi},
  author_short = {Baresi, L. and Blohm, G. and Kolovos, D. S. and Drivalos Matragkas, N. and Motta, A. and Paige, R. F. and Radjenovic, A. and Rossi, M.},
  bibtype = {article},
  type = {article},
  year = {2015},
  key = {dblp1791072},
  id = {dblp1791072},
  biburl = {http://www.dblp.org/rec/bibtex/journals/sosym/BaresiBKMMPRR15},
  url = {http://dx.doi.org/10.1007/s10270-013-0330-z},
  journal = {Software and System Modeling (SOSYM)},
  pages = {343-363},
  number = {1},
  volume = {14},
  text = {Software and System Modeling (SOSYM) 14(1):343-363 (2015)}
}

Downloads: 0