Electromagnetic Battle Manager Verification Case Study.
Bryan MayMahendra ThawaniJ. Stephen SkinnerPublished in: MILCOM (2014)
Keyphrases
- case study
- model checking
- management system
- damage assessment
- machine learning
- verification method
- formal verification
- software development
- high frequency
- lessons learned
- signature verification
- asynchronous circuits
- neural network
- concurrent systems
- electromagnetic field
- search algorithm
- decision trees
- face verification
- website
- information retrieval