Edilson Galvão Dos Santos Junior

According to our database, Edilson Galvão Dos Santos Junior authored at least 1 paper in 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Multi-core model checking and maximum satisfiability applied to hardware-software partitioning.

Alessandro Bezerra Trindade, Renato De Faria Degelo, Edilson Galvão Dos Santos Junior, Hussama Ibrahim Ismail, Helder Cruz Da Silva, Lucas Carvalho Cordeiro

Int. J. Embed. Syst., 2017