{"_id":"CLTyFcuycdshrKypL","authorIDs":[],"author_short":["Baresi, L.","Blohm, G.","Kolovos, D. S.","Drivalos Matragkas, N.","Motta, A.","Paige, R. F.","Radjenovic, A.","Rossi, M."],"bibbaseid":"baresi-blohm-kolovos-drivalosmatragkas-motta-paige-radjenovic-rossi-formalverificationandvalidationofembeddedsystemstheumlbasedmadesapproach-2015","bibdata":{"title":"Formal verification and validation of embedded systems: the UML-based MADES approach","author":["Luciano Baresi","Gundula Blohm","Dimitrios S. Kolovos","Nicholas Drivalos Matragkas","Alfredo Motta","Richard F. Paige","Alek Radjenovic","Matteo Rossi"],"author_short":["Baresi, L.","Blohm, G.","Kolovos, D. S.","Drivalos Matragkas, N.","Motta, A.","Paige, R. F.","Radjenovic, A.","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)","bibtex":"@article{ dblp1791072,\n title = {Formal verification and validation of embedded systems: the UML-based MADES approach},\n 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},\n 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.},\n bibtype = {article},\n type = {article},\n year = {2015},\n key = {dblp1791072},\n id = {dblp1791072},\n biburl = {http://www.dblp.org/rec/bibtex/journals/sosym/BaresiBKMMPRR15},\n url = {http://dx.doi.org/10.1007/s10270-013-0330-z},\n journal = {Software and System Modeling (SOSYM)},\n pages = {343-363},\n number = {1},\n volume = {14},\n text = {Software and System Modeling (SOSYM) 14(1):343-363 (2015)}\n}","bibbaseid":"baresi-blohm-kolovos-drivalosmatragkas-motta-paige-radjenovic-rossi-formalverificationandvalidationofembeddedsystemstheumlbasedmadesapproach-2015","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s10270-013-0330-z"},"downloads":0},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/sosym/BaresiBKMMPRR15","creationDate":"2015-02-03T14:31:44.957Z","downloads":0,"keywords":[],"search_terms":["formal","verification","validation","embedded","systems","uml","based","mades","approach","baresi","blohm","kolovos","drivalos matragkas","motta","paige","radjenovic","rossi"],"title":"Formal verification and validation of embedded systems: the UML-based MADES approach","year":2015,"dataSources":["TbDcE8M4AL55Shhkt"]}