Space Thruster Based on Inertial Electrostatic Confinement Benjamin A. Ulmen, Guilherme Amadio, Hugo Leon, George Chen, William W. Matisiak, Paul Keutelian, George H. Miley Introduction Theory of Operation

First Page		Document Content
Date: 2010-01-20 18:11:48 Physics Ion thruster Hall effect thruster Inertial electrostatic confinement Plasma Ion source Electrostatic ion thruster Electrically powered spacecraft propulsion Spacecraft propulsion Aerospace engineering Propulsion		Space Thruster Based on Inertial Electrostatic Confinement Benjamin A. Ulmen, Guilherme Amadio, Hugo Leon, George Chen, William W. Matisiak, Paul Keutelian, George H. Miley Introduction Theory of Operation Add to Reading List Source URL: fti.neep.wisc.edu Download Document from Source Website File Size: 1,38 MB Share Document on Facebook

	Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA DocID: 1xVWh - View Document
	Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA DocID: 1xVrl - View Document
	Modeling and Monitoring of Hierarchical State Machines in Scala? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov DocID: 1xVoG - View Document
	Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology DocID: 1xVnS - View Document
	Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena DocID: 1xVf0 - View Document