Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri.
Salmon, Arianna Zoila Olivera
Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2017-04-18
Acesso online. A biblioteca também possui exemplares impressos.