P. Petterson
Uppsala University(SE)Radboud University Nijmegen(NL)Aalborg University(DK)
Research Areas
Formal Methods in Verification, Real-Time Systems Scheduling, Model-Driven Software Engineering Techniques
Formal Methods in Verification, Real-Time Systems Scheduling, Model-Driven Software Engineering Techniques