José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Eric Verhulst
Latest
Hubs for VirtuosoNext: Online verification of real-time coordinators
Verification of Real-Time Coordination in VirtuosoNext (extended version)
Coordination of Tasks on a Real-Time OS
Cite
×