Not registered as user yet
Name:Stefan Gruner
Country:South Africa
Affiliation:University of Pretoria
Contributions
| SPIN 2021 | Spotlight Abstraction in Model Checking Real-Time Task Schedulability | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ECOOP and ISSTA 2021-profile
View general profile
View general profile