Research Terms
Logic Design Computer Security Software Engineering Systems Analysis
Keywords
Assurance For Autonomous/Intelligent Systems Assurance For Cyber Security Formal Methods Model Based Engineering Model Driven Development Modeling And Analysis Systems Engineering
Industries
Military IT Software & Computer Systems Design