Login / Signup
Early verification and validation of mission critical systems.
Christophe Ponsard
Philippe Massonet
Jean-François Molderez
André Rifaut
Axel van Lamsweerde
Hung Tran Van
Published in:
Formal Methods Syst. Des. (2007)
Keyphrases
</>
mission critical
real time systems
data centric
real time
website
expert systems
asynchronous circuits
data mining
distributed systems
business processes
cost effective
data center