Login / Signup
Nawar H. Obeidat
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Automated Verification
Reactive Systems
Temporal Logic
Bounded Model Checking
Top Venues
MWSCAS
ICICT
</>
Publications
</>
Nawar H. Obeidat
,
Carla Purdy
Improving Security in SCADA Systems through Model-checking with TLA+.
MWSCAS
(2021)
Nawar H. Obeidat
,
Carla Purdy
Modeling a Smart School Building System Using UML and TLA+.
ICICT
(2020)