Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Willkommen bei SOAMED

Dipl.-Ing. Marcus Mews

Adresse:

Technische Universität Berlin
Fachgebiet Softwaretechnik
Sekr. TEL 12-3
Ernst-Reuter-Platz 7

10587 Berlin

Raum: TEL 1005

Telefon:

+49-30-314-24330

E-Mail:

mews(at)soamed.de

Mews, M. and Helke, S. (2012):

"Towards Static Modular Software Verification"

Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik. GI, 147-153

Mews. M. and Svacina, I. and Weissleder, S. (2012):

"From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain"

Proc. of the International Conference on Software Testing, Verification, and Validation. IEEE Computer Society, 519-528.