Modelling MajorCAN with UPPAAL

IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)

Authors: Matias Bonet; Gabriel Donaire; Julián Proenza Arenas.
Category: Conferences Publication Date: December, 2007 Citekey: Bonet-ea:2007 Location: Patras (Greece)
View PDF

Associated Project(s)