Erhard Schlenker

Publication Activity (10 Years)

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

Publications

Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Ulrich Freund, Erhard Schlenker, Hans-Jörg Wolff
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development. DATE (2005)