Building Models We Can Rely On: Requirements Traceability for Model-Based Verification Techniques.

Marco Filax Tim Gonschorek Frank Ortmeier

Published in: IMBSA (2017)

Keyphrases

database
artificial intelligence
information systems
data driven
real time
databases
information retrieval
case study
probabilistic model
open source
petri net
life cycle
autoregressive
functional requirements
accurate models
uml models