C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis.
Andrés Terrasa
Guillem Bernat
Published in:
RTCSA (2003)
Keyphrases
</>
real time systems
temporal properties
machine learning
distributed systems
model checking