Login / Signup
Mehran Rivadeh
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Specification Languages
Distributed Databases
Formal Specification
Top Venues
Softw. Syst. Model.
</>
Publications
</>
Mehran Rivadeh
,
Seyed-Hassan Mirian-Hosseinabadi
Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application.
Softw. Syst. Model.
22 (3) (2023)