Area of research
Computational Theory and Mathematics · Hardware and Architecture
Research interest
Research interests include Petri Nets in System Modeling, Real-Time Systems Scheduling, Embedded Systems Design Techniques, and Formal Methods in Verification.
IEEE Industrial Electronics Society Information
IEEE Industrial Electronics Society Information
IEEE Industrial Electronics Society Information
IEEE Industrial Electronics Society Information
IEEE Industrial Electronics Society Information
IEEE Industrial Electronics Society Information
IEEE Industrial Electronics Society Information
IEEE Industrial Electronics Society Information
IEEE Industrial Electronics Society Information
IEEE Industrial Electronics Society Information