Paulo Sérgio Muniz Silva

	2006
4		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		Paulo Sérgio Muniz Silva: Early Verification of Computer Systems Temporal Properties. Electr. Notes Theor. Comput. Sci. 130: 211-233 (2005)
1		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)

Coauthor Index

1	Leonardo Chwif	[3] [4]
2	Nelson Guimarães Ferreira	[1]
3	Lúcio Mitio Shimada	[4]

Colors in the list of coauthors