Login / Signup
Runtime Verification of Typical Requirements for a Space Critical SoC Platform.
Luca Ferro
Laurence Pierre
Zeineb Bel Hadj Amor
Jérôme Lachaize
Vincent Lefftz
Published in:
FMICS (2011)
Keyphrases
</>
real time
artificial intelligence
low dimensional
space time
hardware and software
databases
decision trees
database systems
data structure
search space
model checking
real time systems
formal verification
asynchronous circuits