Z (2003) Development and application of design transformations in ForSyDe (0)

by I Sander, A Jantsch, Lu
Venue:In: Design, automation and test in Europe