Ljp Luc Engelen

Embedded systems modeling, analysis and synthesis

Jpm Jeroen Voeten, van den Mgj Mark Brand, Ljp Luc Engelen, 2007 .

Checking property preservation of refining transformations for model-driven development

Anton Wijs, Ljp Luc Engelen, 2012 .

From napkin sketches to reliable software

Ljp Luc Engelen, 2012 .