Do Van Chieu

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Colored Petri Nets

Real Time Embedded

Formal Verification

Top Venues

Publications

Do Van Chieu, Dang Van Hung
Timed traces and their applications in specification and verification of distributed real-time systems. SoICT (2012)