Login / Signup
RVRTL: Run-Time Verification of Real-Time and Reactive Programs with Real-Time Logic Approach.
Saeed Jalili
Mehdi MirzaAghaei
Published in:
Software Engineering Research and Practice (2007)
Keyphrases
</>
real time
low cost
vision system
artificial intelligence
information systems
control system
computer programs
genetic algorithm
database systems
image sequences
high speed