Oak Technology - PDFSEARCH.IO - Document Search Engine

Oak Technology
Results: 1891

#	Item
1	Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Model checkers Software engineering Theoretical computer science Formal methods C C++ Sizeof Model checking Promela Abstraction Computing Abstract interpretation
2	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 Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:31:15 Model checkers Promela Computing Model checking SPIN model checker Gerard J. Holzmann Modeling language Mars Exploration Rover Economic model Theoretical computer science Notation
3	Valley Oak Technology Complex Southeast Kentucky Economic Development Corporation 2292 S. Highway 27, Suite 340 Somerset, Kentucky 42501 Add to Reading List Source URL: www.southeastkentucky.com Language: English - Date: 2017-05-02 15:26:20
4	Appalachian Regional Commission/Oak Ridge National Laboratory 2005 Math-Science-Technology Institute Oak Ridge, Tennessee Ecological Study of the East Fork Ridge Mesic Forest Area Add to Reading List Source URL: www.esd.ornl.gov - Date: 2007-05-08 08:15:49
5	Media Contact: Lana Patterson Savannah River National LaboratoryFOR IMMEDIATE RELEASE Add to Reading List Source URL: srnl.doe.gov Language: English - Date: 2016-01-14 16:10:42 United States Department of Energy national laboratories Battelle Memorial Institute Science and technology in the United States Emerging technologies Energy Energy economics Smart grid Oak Ridge National Laboratory United States Department of Energy Sustainable energy Pacific Northwest National Laboratory Emissions & Generation Resource Integrated Database
6	Good evening, and thank you to the ACHP Alumni Foundation and the Atomic Heritage Foundation for hosting us tonight. We want to welcome the recipients of the Chairman’s Award, some of whom traveled from Tennessee to be Add to Reading List Source URL: www.preserveamerica.gov Language: English - Date: 2016-07-14 15:05:51 Oak Ridge Tennessee Nuclear technology Tennessee Manhattan Project Knoxville metropolitan area National Register of Historic Places in Anderson County Tennessee Nuclear fuels Alexander Inn K-25 Oak Ridge Enriched uranium Guest house
7	American Energy & Manufacturing Competitiveness (AEMC) Summit Dr. Craig Blue, Ph.D. Chief Executive Officer IACMI Add to Reading List Source URL: www.aemcsummit.compete.org Language: English - Date: 2015-08-27 16:42:13 Manufacturing Battelle Memorial Institute Manhattan Project Oak Ridge National Laboratory United States Department of Energy national laboratories Advanced manufacturing Science and technology in the United States Tennessee Economy UMaine Advanced Structures and Composites Center Amit Goyal
8	Scanning Tunneling Microscopy Add to Reading List Source URL: neutrons2.ornl.gov Language: English - Date: 2010-06-10 21:19:54 United States Department of Energy national laboratories Science and technology in the United States Manhattan Project Federally Funded Research and Development Centers California University of Chicago DuPage County Illinois Argonne National Laboratory Lemont Illinois Oak Ridge National Laboratory Argonne Advanced Photon Source
9	Abstract technology background. Add to Reading List Source URL: scialli.utk.edu Language: English - Date: 2015-10-09 13:56:59 Tennessee Battelle Memorial Institute Manhattan Project Oak Ridge National Laboratory United States Department of Energy national laboratories Science and technology in the United States University of Tennessee
10	Scanning Tunneling Microscopy Add to Reading List Source URL: neutrons2.ornl.gov Language: English - Date: 2008-09-19 07:28:40 United States Department of Energy national laboratories Science and technology in the United States Argonne National Laboratory Oak Ridge National Laboratory Argonne Energy