REQUIREMENTS ANALYSIS OF AUTOMATED PROJECTS USING UML / PETRI NETS
Gonzalez, Pedro M and Salmon, Arianna Olivera and Silva, José Reinaldo
- Journal
- Autor
- Gonzalez, Pedro M and Salmon, Arianna Olivera and Silva, José Reinaldo
- Book Title
- Brazilian Congres on Mechanical Engineering
- Volume
- 0
- Página(s)
- DOI
- Published
- 2011
- Month
- 0
- Tipo de Documento
- Conference Proceedings
- Abstract
- Keywords
- formal verification,petri nets,requirements analysis,schema
- Publisher
- URL