Login / Signup
Tuan Nguyen Thanh
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Petri Net
Colored Petri Nets
Business Rules
Legacy Systems
Top Venues
ICIIT
ICFNDS
</>
Publications
</>
Tuan Nguyen Thanh
,
Nhan Le Thanh
,
Ha Hoang Thi Thanh
,
Thao Ha Thi
VeBPRu: A Toolchain for Formally Verifying Business Processes and Business Rules.
ICIIT
(2023)
Tuan Nguyen Thanh
,
Nhan Le Thanh
,
Ha Hoang Thi Thanh
Formalization of Business Processes and Business Rules Model using Colored Petri Nets.
ICFNDS
(2021)