Author Info
Name
Affiliation
Papers
SÉRGIO CAVALCANTE
Federal University of Pernambuco, Center of Informatics, Recife, PE, Brazil
1
Collaborators
Citations 
PageRank 
2
3
0.44
Referers 
Referees 
References 
9
28
13
Title
Citations
PageRank
Year
Specification and validation of the SACI-1 on-board computer using timed-CSP-Z and Petri nets30.442003