MODELS 2021 (series) / Jozef Hooman
Registered user since Mon 4 Oct 2021
Name:Jozef Hooman
Country:Netherlands
Affiliation:TNO; Radboud University Nijmegen
Contributions
| MODELS 2021 | [T2] Modeling and checking state-based component interfaces with CommaSuite | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile