Visible to the public Toward Practical Formal Analysis of Flight Control Systems in a Model-Based Development Environment

Submitted by TimTh on Fri, 07/01/2011 - 10:30am. Contributor:
License: 
Creative Commons 2.5

Other available formats:

Toward Practical Formal Analysis of Flight Control Systems in a Model-Based Development Environment
Switch to experimental viewer