Login / Signup

On the automatic generation of timed automata models from ISA 5.2 diagrams.

Luiz Paulo de Assis BarbosaKyller Costa GorgônioLeandro Dias da SilvaAntonio Marcus Nogueira de LimaAngelo Perkusich
Published in: ETFA (2007)
Keyphrases
  • timed automata
  • probabilistic model
  • model selection
  • statistical models
  • computational models
  • automatically generate
  • graphical representations