Login / Signup
Laila Boumlik
Publication Activity (10 Years)
Years Active: 2015-2021
Publications (10 Years): 2
Top Topics
Process Model
Petri Net
Logical Language
Business Process
Top Venues
ICSOC Workshops
SoMeT
ISCC
</>
Publications
</>
Honoré Hounwanou
,
Laila Boumlik
,
Mohamed Mejri
Toward the Formalization of Business Process Model and Notation.
SoMeT
(2021)
Laila Boumlik
,
Mohamed Mejri
Security Enforcement on Web Services Compositions.
ISCC
(2019)
Laila Boumlik
,
Mohamed Mejri
Toward the Formalization of BPEL.
ICSOC Workshops
(2015)