Gundula Blohm

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Formal Verification

Sequence Diagrams

Resource Limited

Embedded Systems

Top Venues

Softw. Syst. Model.

Publications

Luciano Baresi, Gundula Blohm, Dimitrios 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. Softw. Syst. Model. 14 (1) (2015)