Nawar H. Obeidat

According to our database, Nawar H. Obeidat authored at least 2 papers between 2020 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2021

Improving Security in SCADA Systems through Model-checking with TLA+.

Nawar H. Obeidat, Carla Purdy

Proceedings of the 64th IEEE International Midwest Symposium on Circuits and Systems, 2021

2020

Modeling a Smart School Building System Using UML and TLA+.

Nawar H. Obeidat, Carla Purdy

Proceedings of the 3rd International Conference on Information and Computer Technologies, 2020