On the Correctness of Model Transformations in the Development of Embedded Systems

TitleOn the Correctness of Model Transformations in the Development of Embedded Systems
Publication TypeBook Chapter
Year of Publication2007
AuthorsKarsai, G., and A. Narayanan
Book TitleLecture Notes in Computer Science
Volume4888
PublisherSpringer