Login / Signup
Complete Verification of Weakly Programmable IPs against Their Operational ISA Model.
Sacha Loitz
Markus Wedler
Dominik Stoffel
Christian Brehm
Norbert Wehn
Wolfgang Kunz
Published in:
FDL (2010)
Keyphrases
</>
probabilistic model
computational model
high level
mathematical model
formal model
statistical model
prediction model
theoretical framework
process model
formal methods
real time
object model
experimental data
access control
general purpose
decision making
data sets