Formal verification and validation of embedded systems: the UML-based MADES approach
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Luciano Baresi, Gundula Blohm, Dimitris S. Kolovos, Nicholas Drivalos Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, Matteo Rossi
Formal verification and validation of embedded systems: the UML-based MADES approach
ECMFA, 2015.

ECMFA J 2012
DBLP
Scholar
DOI
Full names Links ISxN
@article{ECMFA-J-2012-BaresiBKMMPRR15,
	author        = "Luciano Baresi and Gundula Blohm and Dimitris S. Kolovos and Nicholas Drivalos Matragkas and Alfredo Motta and Richard F. Paige and Alek Radjenovic and Matteo Rossi",
	doi           = "10.1007/s10270-013-0330-z",
	journal       = "{Software and System Modeling}",
	number        = 1,
	pages         = "343--363",
	title         = "{Formal verification and validation of embedded systems: the UML-based MADES approach}",
	volume        = 14,
	year          = 2015,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.