Login / Signup
Abstraction-Based Parameter Synthesis for Multiaffine Systems.
Sergiy Bogomolov
Christian Schilling
Ezio Bartocci
Grégory Batt
Hui Kong
Radu Grosu
Published in:
Haifa Verification Conference (2015)
Keyphrases
</>
high level
management system
databases
information retrieval
distributed systems
systems require
data sets
data mining
machine learning
information technology
mobile devices
user interface
low level