Feasibility Study of the Use of Petri Nets in the Verification of UML Diagrams
| Autor: | Larissa Vidal, Franck Benito, José Eduardo Fernandes |
|---|---|
| Rok vydání: | 2023 |
| Zdroj: | Smart Innovation, Systems and Technologies ISBN: 9789811976889 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|