<--- Back to Details
First PageDocument Content
San Gabriel Valley / Pasadena /  California / La Cañada Flintridge /  California / Lincoln Avenue / Los Angeles County /  California / Pasadena /  Texas / South Pasadena /  California / Geography of California / Southern California / Altadena /  California
Date: 2012-11-08 17:20:35
San Gabriel Valley
Pasadena
California
La Cañada Flintridge
California
Lincoln Avenue
Los Angeles County
California
Pasadena
Texas
South Pasadena
California
Geography of California
Southern California
Altadena
California

Flintridge Foundation Community Needs Assessment Purpose Flintridge Foundation’s Community Assessment project examines unmet needs in the Northwest Pasadena and Altadena communities. The assessment is not intended to p

Add to Reading List

Source URL: www.flintridge.org

Download Document from Source Website

File Size: 184,81 KB

Share Document on Facebook

Similar Documents

FO / Finite model theory / Model theory / Metaphilosophy / Mathematical logic / Mathematics / Sigma-algebra / Pattern language

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

Software testing / Software engineering / Computing / Quality / Fault injection / Software verification / Reliability engineering / Formal verification / Flash memory / Software quality / Stress testing / Exception handling

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

Formal methods / Theoretical computer science / Software engineering / Computing / Logic in computer science / Software testing / Model checking / Formal verification / Software verification / Flash memory / Verification / Software quality

New Challenges in Model Checking Gerard J. Holzmann, Rajeev Joshi, and Alex Groce NASA/JPL Laboratory for Reliable Software, Pasadena, CA 91109, USA {Gerard.Holzmann, Rajeev.Joshi,Alex.Groce}@jpl.nasa.gov

DocID: 1xV34 - View Document

Model checkers / Promela / Computing / Model checking / SPIN model checker / Gerard J. Holzmann / Modeling language / Mars Exploration Rover / Economic model / Theoretical computer science / Notation

Automated Testing of Planning Models Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith Jet Propulsion Laboratory? , California Institute of Technology 4800 Oak Grove Drive, Pasadena/Los Angeles, C

DocID: 1xUlc - View Document

Computing / Software quality / Engineering / Reliability engineering / Software engineering / Design for X / Materials science / Survival analysis / Fault tolerance / Redundancy / Software design / Modular programming

Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann Rajeev Joshi Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA

DocID: 1xThG - View Document