| |
| 2006 | ||
|---|---|---|
| 4 | EE | Leonardo Chwif, Paulo Sérgio Muniz Silva, Lúcio Mitio Shimada: A prescriptive technique for V&V of simulation models when no real-life data are available. Winter Simulation Conference 2006: 911-918 |
| 2005 | ||
| 3 | Paulo Sérgio Muniz Silva, Leonardo Chwif: Functional and Non-Functional Application Software Requirements: Early Conflict Detection. ICEIS (3) 2005: 343-348 | |
| 2 | EE | Paulo Sérgio Muniz Silva: Early Verification of Computer Systems Temporal Properties. Electr. Notes Theor. Comput. Sci. 130: 211-233 (2005) |
| 1 | EE | Nelson Guimarães Ferreira, Paulo Sérgio Muniz Silva: Automatic Verification of Safety Rules for a Subway Control Software. Electr. Notes Theor. Comput. Sci. 130: 323-343 (2005) |
| 1 | Leonardo Chwif | [3] [4] |
| 2 | Nelson Guimarães Ferreira | [1] |
| 3 | Lúcio Mitio Shimada | [4] |