Login / Signup
Ra'Ed Bani-Abdelrahman
ORCID
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Dynamic Constraints
Formal Specification
Model Checker
Temporal Logic
Top Venues
Int. Arab J. Inf. Technol.
</>
Publications
</>
Ra'Ed Bani-Abdelrahman
,
Rafat Alshorman
,
Walter Hussak
,
Amitabh Trehan
Specification of synchronous network flooding in temporal logic.
Int. Arab J. Inf. Technol.
17 (6) (2020)