BibSLEIGH
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
Collaborated with:
L.Baresi D.S.Kolovos N.D.Matragkas A.Motta R.F.Paige A.Radjenovic M.Rossi
Talks about:
approach (1) system (1) formal (1) verif (1) valid (1) embed (1) made (1) base (1) uml (1)

Person: Gundula Blohm

DBLP DBLP: Blohm:Gundula

Contributed to:

ECMFA 20122015

Wrote 1 papers:

ECMFA-J-2012-BaresiBKMMPRR15 #approach #embedded #uml #validation #verification
Formal verification and validation of embedded systems: the UML-based MADES approach (LB, GB, DSK, NDM, AM, RFP, AR, MR), pp. 343–363.
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.