Login / Signup
Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data.
Johannes Faber
Sven Linker
Ernst-Rüdiger Olderog
Jan-David Quesel
Published in:
Int. J. Softw. Informatics (2011)
Keyphrases
</>
real time systems
data sets
training data
data collection
data points
case study
data structure
data analysis
database
multi agent
relational databases
object oriented
low cost
data mining techniques
embedded systems