Publications
433 total
No publications found.
Research Topics
Real-Time Systems Scheduling
Embedded Systems Design Techniques
Distributed systems and fault tolerance
Formal Methods in Verification
Petri Nets in System Modeling
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.