Sciweavers

67
Voted
ENTCS
2006
142views more  ENTCS 2006»
14 years 8 months ago
Predicate Diagrams for the Verification of Real-Time Systems
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
Eun-Young Kang, Stephan Merz