1
Publications
13
Citations
1
H-Index
2012
Active since
Affiliations
Daniel Alencar is an author at Universidade Federal do Rio Grande do Norte specializing in systems engineering, formal methods, and software design.
Top concepts
DesignEngineeringData ModelingFormal MethodsSoftware DesignSystem SoftwareProgram AnalysisSoftware TestingSoftware AnalysisSystems Engineering
Publications per year
2012–2012
1
1
Rows per page
1–1 of 1