Login / Signup
A Simplified Approach for Testing Real-Time Systems Based on Action Refinement.
Saddek Bensalem
Moez Krichen
Lotfi Majdoub
Riadh Robbana
Stavros Tripakis
Published in:
ISoLA (2007)
Keyphrases
</>
real time systems
real time
embedded systems
distributed systems
mission critical
timing constraints
architectural model
object oriented programming language
embedded real time systems
real time database systems
real time embedded
machine learning
decision making
anytime algorithms
artificial intelligence