Formal Executable Models for Automatic Detection of Timing Anomalies.

Mihail Asavoae Belgacem Ben Hedia Mathieu Jan

Published in: WCET (2018)

Keyphrases

automatic detection
automatically detecting
probabilistic model
formal models
statistical models
formal model
complex systems
small bowel