Statistics
Publications
2
Citations
36
H-Index
2
Active since
2008
Affiliations
Philbert Nduwimfura is an author at Shanghai University of Engineering Science specializing in activity diagrams, computer science, and formal modeling.
Publications per year
2008–2009
2
2
Towards Formalizing UML Activity Diagrams in CSP
Dong Xu, Philbert Nduwimfura, Zongtian Liu et al. · 2008 · 21 citations
Model Checking UML Activity Diagrams in FDR
Dong Xu, Huaikou Miao, Philbert Nduwimfura · 2009 · 15 citations
1–2 of 2