1.
by
Wang, Farn. editor.
Format:
Electronic Resources
Excerpt:
-- Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis -- Modeling and Verification of
View Other Search Results
by
Boström, Henrik. editor.
Format:
Electronic Resources
Excerpt:
Evaluation of Event Detection Techniques for Twitter -- IDA 2016 Industrial Challenge: Using Machine Learning
Limit Search Results