José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Bernhard H. C. Sputh
Latest
Hubs for VirtuosoNext: Online verification of real-time coordinators
Coordination of Tasks on a Real-Time OS
Cite
×