Uppaal

Java bestpractice common methods

Data mining for the masses, Chapter 4, Using R instead of Rapidminer

Data mining for the masses, Chapter 3, Using R instead of Rapidminer

Uppaal Lite

Model-based GUI testing using UPPAAL

Data mining for the masses, Chapter 6, Using R as an alternative to Rapidminer

Model-based GUI testing using Uppaal