Application of Architectural Patterns and Lightweight Formal Method for the Validation and Verification of Safety Critical Systems

MLA

Naval Postgraduate School Monterey Ca, and Vasileios Karagiannakis. “Application of Architectural Patterns and Lightweight Formal Method for the Validation and Verification of Safety Critical Systems.” DTIC, 2013. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.ocn872738945&authtype=sso&custid=ns315887.

APA

Naval Postgraduate School Monterey Ca, & Karagiannakis, V. (2013). Application of Architectural Patterns and Lightweight Formal Method for the Validation and Verification of Safety Critical Systems. DTIC.

Chicago

Naval Postgraduate School Monterey Ca, and Vasileios Karagiannakis. 2013. “Application of Architectural Patterns and Lightweight Formal Method for the Validation and Verification of Safety Critical Systems.” DTIC. http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.ocn872738945&authtype=sso&custid=ns315887.