Login / Signup
On the Effectiveness of Assertion-Based Verification in an Industrial Context.
Laurence Pierre
Fabrice Pancher
Rodolphe Suescun
Jérôme Quévremont
Published in:
FMICS (2013)
Keyphrases
</>
context aware
data sets
multimedia
data structure
contextual information
context awareness
formal analysis
information retrieval
decision trees
computer science
multiresolution
user model
signature verification
technology transfer