Publications
558 total
No publications found.
Research Topics
Distributed systems and fault tolerance
Formal Methods in Verification
Petri Nets in System Modeling
Optimization and Search Problems
Real-Time Systems Scheduling
Affiliations
Massachusetts Institute of Technology
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.