Login / Signup
Rania Ben Halima
Publication Activity (10 Years)
Years Active: 2016-2021
Publications (10 Years): 7
Top Topics
Formal Verification
Ws Bpel
Business Process Modeling
Business Process
Top Venues
SCC
OTM Conferences
OTM Conferences (1)
Future Gener. Comput. Syst.
</>
Publications
</>