Articles with public access mandates - Mirco KuhlmannLearn more
Available somewhere: 2
From application models to filmstrip models: An approach to automatic validation of model dynamics
M Gogolla, L Hamann, F Hilken, M Kuhlmann, R France
Gesellschaft für Informatik eV, 2014
Mandates: German Research Foundation
Towards a generic verification methodology for system models
R Wille, M Gogolla, M Soeken, M Kuhlmann, R Drechsler
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2013
Mandates: German Research Foundation
Publication and funding information is determined automatically by a computer program