How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.

Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Marille Stoelinga

Browse the full SETTA paper archive.