Work

Formal verification and validation of embedded systems: the UML-based MADES approach

Year: 2013

Type: article

Source: Software & Systems Modeling

DOI: 10.1007/s10270-013-0330-z

Authors: Luciano Baresi, Gundula Blohm, Dimitrios S. Kolovos, Nicholas Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, Matteo Rossi

Institutions: Politecnico di Milano, University of York

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: FP7 Ideas: European Research Council

Awards: G2902570791, G5414291753, Self-Managing Situated Computing

OpenAlex ID: W1971309296

FWCI: 3.303

Cites: 37

Cited by: 28

Related to: 10