Explore projects

This project is part of the tooling exercises.

A three tank case study project

This project is part of the tooling exercises.

This project is part of the tooling exercises.

This project is part of the tooling exercises.

Mixed bag of files relating to the work done in almass

A java project that generates tests for RabbitMQFMU based on the dot file exported from tla+.

This is my first adventure on the Information Super Highway!

This project is part of the tooling exercises.

This project is part of the tooling exercises.

This project is part of the tooling exercises.

This project is part of the tooling exercises.

This project is part of the tooling exercises.

Combined demo and user study application for the Haptic Histories project

This project is part of the tooling exercises.