Nikola Trčka

Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems

Henk Corporaal, Twan Basten, Mcw Marc Geilen, 2012 .

Verifying % Models of Industrial Systems with SPIN

Nikola Trčka, 2006 .

Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems - (Extended Abstract)

Twan Basten, Martijn Hendriks, Nikola Trčka, 2012, FORMATS.