Adilson Luiz Bonifácio

2008
4	EE	Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão: A Generalized Model-Based Test Generation Method. SEFM 2008: 139-148
3	EE	Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão, José Carlos Maldonado: Towards Deriving Test Sequences by Model Checking. Electr. Notes Theor. Comput. Sci. 195: 21-40 (2008)
2000
2	EE	Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Joao Batista de Camargo Jr., Jorge Rady de Almeida Jr.: Formal Parameters Synthesis for Track Segments of a Subway Mesh. ECBS 2000: 263-271
1	EE	Adilson Luiz Bonifácio, Arnaldo Vieira Moura: Modeling and Parameters Synthesis for an Air Traffic Management System. FMCAD 2000: 316-334

Coauthor Index

1	Jorge Rady de Almeida Jr.	[2]
2	Joao Batista de Camargo Jr.	[2]
3	José Carlos Maldonado	[3]
4	Arnaldo Vieira Moura	[1] [2] [3] [4]
5	Adenilso da Silva Simão	[3] [4]