Formal Analysis of Real-Time Systems with SAM.

Huiqun Yu Xudong He Yi Deng Lian Mo

Published in: ICFEM (2002)

Keyphrases

formal analysis
real time systems
real time
distributed systems
embedded systems
formal methods
real time database systems
mission critical
agent model
timing constraints
architectural model
ban logic
database
artificial intelligence
dynamic programming