Login / Signup
On Checking Parallel Real-Time Systems for Linear Duration Properties.
Jianhua Zhao
Dang Van Hung
Published in:
FTRTFT (1998)
Keyphrases
</>
real time systems
real time
distributed systems
embedded systems
real time database systems
mission critical
multi agent systems
open source
timing constraints
architectural model
database
fine grained
parallel processing
embedded real time systems