Modeling and verification method for an early validation of a train system.

Ronan Baduel Iulian Ober Jean-Michel Bruel

Published in: CoRR (2019)

Keyphrases

verification method
temporal logic
model checking
model validation
feature extraction
statistical modeling
databases
data mining
artificial intelligence
search engine
multiscale
objective function
data structure
software engineering