Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2012A computational model of time for stiff hybrid systems applied to control synthesis
Mosterman, P.J.; Zander, J.; Hamon, G.; Denckla, B.
Journal Article
2012Model-based testing for embedded systems
: Zander, J.; Schieferdecker, I.; Mosterman, P.J.
Scientific Anthology
2012A taxonomy of model-based testing for embedded systems from multiple industry domains
Zander, J.; Schieferdecker, I.; Mosterman, P.J.
Book Article
2010Computation of things for human protection and fulfillment
Zander, J.; Mosterman, P.J.; Kinnebrew, J.S.; Biswas, G.
Conference Paper
2009Towards computational hybrid system semantics for time-based block diagrams
Mosterman, P.J.; Zander, J.; Hamon, G.; Ben, D.
Conference Paper
2008Quality of test specification by application of patterns
Zander-Nowicka, J.; Schieferdecker, I.; Mosterman, P.J.
Conference Paper