Comprehension of spacecraft telemetry using hierarchical specifications of behavior? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USA

Source URL: rjoshi.org

• E1
• Hepatitis C virus

Runtime Verification Logics A Language Design Perspective Klaus Havelund1? and Giles Reger2?? 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Mathematics
• Formal methods
• Logic in computer science
• Models of computation
• Temporal logic
• Runtime verification
• Formal verification
• Model checking
• Linear temporal logic
• Finite-state machine
• FO

International Journal of Gas Turbine, Propulsion and Power Systems May 2016, Volume 8, Number 1 International Journal of Gas Turbine, Propulsion and Power Systems Procedure for Analyzing, Manipulating and Meshing of Com

Source URL: www.gtsj.org

International Journal of Gas Turbine, Propulsion and Power Systems December 2016, Volume 8, Number 3 Semi-Inverse Design Optimization of Film Cooling Arrangement and Its Prediction of Coolant Amount of HPT Vanes CHI Zhon

Source URL: www.gtsj.org

USS Gerald Ford Aircraft Carrier The Honeywell electromechanical actuator is integrated into several critical systems onboard providing the following operational capabilities: Propulsion Plant System throughout the CVN e

Source URL: aerospace.honeywell.com

Annexe A - A5 : propulsion A Hydrodynamique navale I

Source URL: www.ucem-nantes.fr

International Journal of Gas Turbine, Propulsion and Power Systems October 2017, Volume 9, Number 3 DRAFT: International Journal of Gas Turbine, Propulsion and Power Systems Forced Response Excitation due to Stagger Ang

Source URL: www.gtsj.org

WinterPropulsion Concept Evaluation for World’s Largest Ferry Company. Oceanic Consulting Corporation was contracted to investigate alternate double-ended ferry propulsion system concepts for British Columbia Fe

Source URL: new.oceaniccorp.com

International Journal of Gas Turbine, Propulsion and Power Systems October 2012, Volume 4, Number 3 Load-following Operations of VHTR Gas-turbine Cogeneration System for Developing Countries Hiroyuki Sato1,2, Xing L. Yan

Source URL: www.gtsj.org

International Journal of Gas Turbine, Propulsion and Power Systems October 2014, Volume 6, Number 2 Development of Titanium 3600rpm-50inch and 3000rpm-60inch Last Stage Blades for Steam Turbines Shigeki Senoo1, Hideki On

Source URL: www.gtsj.org