Sidney Nogueira

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Augusto Sampaio, Sidney Nogueira, Alexandre Mota: Compositional Verification of Input-Output Conformance via CSP Refinement Checking. ICFEM 2009: 20-48

2008

1 Sidney Nogueira, Augusto Sampaio, Alexandre Mota: Guided Test Generation from CSP Models. ICTAC 2008: 258-273

	2009
2		Augusto Sampaio, Sidney Nogueira, Alexandre Mota: Compositional Verification of Input-Output Conformance via CSP Refinement Checking. ICFEM 2009: 20-48
	2008
1		Sidney Nogueira, Augusto Sampaio, Alexandre Mota: Guided Test Generation from CSP Models. ICTAC 2008: 258-273

Coauthor Index

1 Alexandre Mota (Alexandre Cabral Mota) [1] [2]

2 Augusto Sampaio [1] [2]

1	Alexandre Mota (Alexandre Cabral Mota)	[1] [2]
2	Augusto Sampaio	[1] [2]