z-logo
open-access-imgOpen Access
Combining Test and Proof in MBAT - An Aerospace Case Study
Author(s) -
Michael Dierkes
Publication year - 2014
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5220/0004874906360644
Subject(s) - aerospace , proof of concept , test (biology) , computer science , engineering , aerospace engineering , geology , paleontology , operating system

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here