Pascal Pieper Books

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes