Correlating Structured Inputs and Outputs in Functional Specifications.

Oana Fabiana Andreescu Thomas P. Jensen Stéphane Lescuyer

Published in: SEFM (2016)

Keyphrases

dea models
structured data
real world
case study
data sources
delay insensitive
data sets
neural network
formal specification
real time
data mining
information systems
e learning
input variables
reactive systems
dea model