Modelling MajorCAN with UPPAAL.

Matias Bonet Gabriel Donaire Julián Proenza

Published in: ETFA (2007)

Keyphrases

model checking
learning algorithm
information systems
decision making
artificial intelligence
wireless sensor networks
conceptual modelling
timed automata