scholarly journals On Teaching Applied Formal Methods in Aerospace Engineering

2019 ◽  
pp. 111-131 ◽  
Author(s):  
Kristin Yvonne Rozier
Keyword(s):  
Formal Methods ◽  
Aerospace Engineering

Plasma Dynamics for Aerospace Engineering

2018 ◽  
Author(s):  
Joseph Shang ◽  
Sergey T Surzhikov
Keyword(s):  
Aerospace Engineering ◽  
Plasma Dynamics

Application of formal methods to the VIPER microprocessor

1987 ◽  
Vol 134 (3) ◽  
pp. 133 ◽  
Author(s):  
W.J. Cullyer ◽  
C.H. Pygott
Keyword(s):  
Formal Methods

International Talents Cultivating System in Aerospace Engineering and its Construction Practice

2019 ◽  
Vol 21 (4) ◽  
pp. 118
Author(s):  
Guoyu Chen ◽  
Jun Lu ◽  
Xin Huang ◽  
Sheng Zhao ◽  
Wei Zhang
Keyword(s):  
Aerospace Engineering ◽  
Construction Practice

A Prototype Formal Methods Environment

2001 ◽  
Author(s):  
Ray Teitelbaum
Keyword(s):  
Formal Methods
Sign in / Sign up

Export Citation Format

Share Document