Frans Reckers

According to our database, Frans Reckers authored at least 1 paper in 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset.

Twan Basten, Emiel van Benthum, Marc Geilen, Martijn Hendriks, Fred Houben, Georgeta Igna, Frans Reckers, Sebastian de Smet, Lou J. Somers, Egbert Teeselink

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010