MODELS 2022
Sun 23 - Fri 28 October 2022 Montréal, Canada
Shahar Maoz

Registered user since Tue 30 Jun 2015

Name:Shahar Maoz
Country:Israel
Affiliation:Tel Aviv University, Israel
Research interests:Software engineering, modeling, formal methods

Contributions

MODELS 2022 Validating the Correctness of Reactive Systems Specifications Through Systematic Exploration
Validating the Correctness of Reactive Systems Specifications Through Systematic Exploration
Show activities from other conferences

MODELS 2022-profile
View general profile