Luiz Paulo de Assis Barbosa

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Luiz Paulo de Assis Barbosa, Kyller Costa Gorgônio, Leandro Dias da Silva, Antonio Marcus Nogueira de Lima, Angelo Perkusich
On the automatic generation of timed automata models from ISA 5.2 diagrams. ETFA (2007)