Login / Signup
Release the Beasts: When Formal Methods Meet Real World Data.
Rudolf Schlatte
Einar Broch Johnsen
Jacopo Mauro
Silvia Lizeth Tapia Tarifa
Ingrid Chieh Yu
Published in:
It's All About Coordination (2018)
Keyphrases
</>
real world
data sets
formal methods
database
synthetic data
data sources
software engineering
data collection
training data
data structure
input data
data processing
machine learning
data analysis
multi agent
synthetic datasets