Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models.
Marco FilaxTim GonschorekFrank OrtmeierPublished in: RSSRail (2016)
Keyphrases
- formal models
- formal model
- high level
- computational model
- finite state machines
- mathematical model
- prior knowledge
- probabilistic model
- probability distribution
- theoretical framework
- data sets
- simulation model
- experimental data
- conceptual model
- attribute values
- neural network model
- statistical model
- theoretical analysis
- artificial neural networks
- artificial intelligence