Modelling MajorCAN with UPPAAL.

Matias Bonet, Gabriel Donaire, Julin Proenza

Browse the full ETFA paper archive.