Login / Signup
Formal Approach for Resilient Reachability based on End-System Route Agility.
Usman Rauf
Fida Gillani
Ehab Al-Shaer
Mahantesh Halappanavar
Samrat Chatterjee
Christopher S. Oehmen
Published in:
MTD@CCS (2016)
Keyphrases
</>
supply chain
formal model
formal methods
route planning
machine learning
neural network
artificial intelligence
expert systems
information technology
software systems
business process
first order logic
formal specification