Login / Signup
Mohammad F. Al-hammouri
ORCID
Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 2
Top Topics
Case Study
State Machines
Protocol Specification
Metamodel
Top Venues
SAM
</>
Publications
</>
Mohammad F. Al-hammouri
,
Gregor von Bochmann
Deriving Distributed Design Models from Global State Machines Requirements.
SAM
(2019)
Mohammad F. Al-hammouri
,
Gregor von Bochmann
Realizability of Service Specifications.
SAM
(2018)