Login / Signup
Refinement and Verification of Real-Time Systems
Paul Z. Kolano
Carlo A. Furia
Richard A. Kemmerer
Dino Mandrioli
Published in:
CoRR (2010)
Keyphrases
</>
real time systems
real time
distributed systems
embedded systems
mission critical
timing constraints
real time embedded
real time database systems
model checking
embedded real time systems
case study
software development
artificial intelligence
cooperative
software engineering
cognitive model