Nduwimfura Philbert

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

Nduwimfura Philbert, Dong Xu, Huaikou Miao, Zhou Lei, Bo Chen
Reasoning on Formalizing WS-CDL Mobility Using Process Algebra. APSCC (2010)
Dong Xu, Huaikou Miao, Nduwimfura Philbert
Model Checking UML Activity Diagrams in FDR. ACIS-ICIS (2009)
Dong Xu, Nduwimfura Philbert, Zongtian Liu, Wei Liu
Towards Formalizing UML Activity Diagrams in CSP. ISCSCT (2) (2008)