Login / Signup
Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols.
Fares Saad-Khorchef
Ismail Berrada
Antoine Rollet
Richard Castanet
Published in:
IICS (2010)
Keyphrases
</>
reactive systems
semi automated
application level
databases
machine learning
artificial intelligence
training data
wireless sensor networks
open source
temporal logic