Share with: Mikhail Auguston Naval Postgraduate School Deliverables SERC-2018-TR-116-Verification and Validation (V&V) of System Behavior Specifications Publications Lead Author Poster - RT-137 Ilities Tradespace and Affordability Resource Analysis Based on System Architecture Behaviour Projects Verification and Validation (V&V) of System Behavior Specifications Senior Research Associate