Utilize este identificador para referenciar este registo:
acessibilidade
http://hdl.handle.net/20.500.12207/698| Título: | Coloured Petri Net Model of the bCMS system using CPN tools |
| Autor: | Brito, Isabel Sofia |
| Orientador: | Barros, João Paulo |
| Palavras-chave: | Petri nets Mathematics computing |
| Data: | 16-Jul-2013 |
| Editora: | IEEE |
| Citação: | Estilo IEEE: I.S. Brito, J.P. Barros, "Coloured Petri Net Model of the bCMS system using CPN tools, " in 3rd International Workshop on Comparing Requirements Modeling Approaches, CMA@RE - Proceedings, 2013, pp. 7-12. |
| Resumo: | This paper presents the content required for the selection of the modeling approach, a description of the modeling approach sufficient to understand the submitted model, and a description of the submitted model. |
| Descrição: | 3rd International Workshop on Comparing Requirements Modeling Approaches, CMA@RE - Proceedings: Rio de Janeiro, Brasil: July 7-12, 2013 |
| Arbitragem científica: | yes |
| URI: | http://hdl.handle.net/20.500.12207/698 |
| ISBN: | 978-1-4799-0779-3 |
| Versão do Editor: | http://dx.doi.org/10.1109/CMA-RE.2013.6664178 |
| Aparece nas coleções: | D-ENG - Comunicações com peer review |
Ficheiros deste registo:
Não existem ficheiros associados a este registo.
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.