1
Publications
178
Citations
1
H-Index
2002
Active since
Affiliations
Universidade Federal da Bahia(Current)
Raimundo Macedo is an author at Universidade Federal da Bahia specializing in formal verification, fault tolerance, and formal methods.
Top concepts
EngineeringCommunicationFormal MethodsFault ToleranceComputer ScienceDistributed SystemsFormal VerificationSystems Engineering
Publications per year
2002–2002
1
1
Rows per page
1–1 of 1