AC Propulsion - PDFSEARCH.IO - Document Search Engine

AC Propulsion
Results: 54

#	Item
1	Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 12:50:10 Software engineering Computing Programming language theory Procedural programming languages Programming languages Logic in computer science Runtime verification Cross-platform software Program slicing Model checking L-system Trace
2	A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2012-12-17 05:23:36 Software development Aspect-oriented software development Aspect-oriented programming Formal methods Logic in computer science Runtime verification Pointcut Formal verification Join point Instrumentation
3	Runtime Verification Logics A Language Design Perspective Klaus Havelund1? and Giles Reger2?? 1 Jet Propulsion Laboratory, California Inst. of Technology, USA Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-22 15:37:59 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
4	Vortex Coronagraphy Gene Serabyn Jet Propulsion Laboratory California Institute of Technology Exoclimes Aspen, Jan 2012 Add to Reading List Source URL: www.astro.ex.ac.uk Language: English - Date: 2012-02-06 09:01:58
5	The Information Content of Exo-Planetary Spectra M.R. Line1, X. Zhang1, G. Vasisht2, V. Natraj2, P. Chen2, H. Knutson1, Y.L. Yung1 Introduction 1California Institute of Technology, 2Jet Propulsion Laboratory-California Add to Reading List Source URL: www.astro.ex.ac.uk Language: English - Date: 2012-02-06 09:02:04
6	Searching for gravitationalwaves in PTA data Rutger van Haasteren (Jet Propulsion Lab) Outline Add to Reading List Source URL: www.gravity.ircs.titech.ac.jp Language: English - Date: 2014-05-27 05:43:06
7	National Aeronautics and Space Administration A Unified MODIS Land Surface Temperature (LST) Product using an Uncertainty Analysis Approach Glynn Hulley, Simon Hook Jet Propulsion Laboratory, California Institute of Tec Add to Reading List Source URL: www.geos.ed.ac.uk Language: English - Date: 2012-06-20 05:42:23 Physics Electromagnetic radiation Heat transfer Landing Ship Tank Emissivity Water vapor Uncertainty Thermodynamics Statistics Moderate-Resolution Imaging Spectroradiometer
8	Spacecraft Environment Interaction 1 Title Engineering Add to Reading List Source URL: cent.ele.kyutech.ac.jp Language: English - Date: 2013-05-11 03:29:20 Spacecraft propulsion Astronautics Space environment Electrodynamic tether Spacecraft Hypervelocity Space technology Aerospace engineering Spaceflight
9	AIR-BREATHING PROPULSION: THE FUTURE OF ACCESS TO SPACE F. GNANI, H. ZARE-BEHTASH & K. KONTIS Space Glasgow Research Conference 28th October 2014 Add to Reading List Source URL: www.gla.ac.uk Language: English - Date: 2015-02-04 08:38:04
10	-5- TURBOMACHINERY AND PROPULSION Add to Reading List Source URL: www.vki.ac.be Language: English - Date: 2014-02-19 10:32:29

UPDATE