Login / Signup
Early Verification and Validation of Mission Critical Systems.
Christophe Ponsard
Philippe Massonet
André Rifaut
Jean-François Molderez
Axel van Lamsweerde
Hung Tran Van
Published in:
Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
</>
mission critical
real time systems
data centric
databases
management system
general purpose
asynchronous circuits
real time
data mining
cost effective