Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

NIST Interagency/Internal Report (NISTIR)

Model Checkers in Software Testing

Author(s)
Paul E. Black, P E. Ammann, W Ding
The primary focus of formal methods is static analysis of specifications and code, but there is also a long tradition of exploiting formal methods for testing...

Chemical Science and Technology Laboratory FY 2001

Author(s)
Hratch G. Semerjian, W Koch, Ellyn S. Beary
This report summarizes the research and services provided by the Chemical Science and Technology Laboratory of the National Institute of Standards and...

Prototype Software for Contaminant-Based Design

Author(s)
George Walton, Andrew K. Persily
Outdoor air intake rates of mechanical ventilation systems have traditionally been determined using prescriptive methods based on ventilation requirements per...

Physics Laboratory Annual Report 2001

Author(s)
K B. Gebbie, William R. Ott
This report summarizes research projects, measurement method development, calibration and testing, and data evaluation activities that were carried out during...

The First Workshop on Wireless Sensing Proceedings

Author(s)
Kang B. Lee, James D. Gilsinn, Richard D. Schneeman, Hui-Min Huang
The First Wireless Sensing Workshop was held on June 4, 2001, at the Sensors Expo/Conference at the Rosemont Convention Center in Chicago, IL. The National...

2002 Weights and Measures Directory

Author(s)
L T. Sebring
This directory is a listing of weights and measures officials in the U.S. and its territories. It includes the official's agency, title, address, phone, fax, e...

Nanomanufacturing of Atom-Based Dimensional Standards - A Final Project Report of the NAMT

Author(s)
Robert Allen, J J. Pellegrino, D Monk, E C. Teague, Dennis A. Swyt, Joseph Fu, Richard M. Silver, Theodore V. Vorburger, Bradley N. Damazo, Robert Russell, Thomas E. Wheatley, Keith A. Stouffer, Manfred Osti, David Wilmering, Richard L. Rhorer, Ram D. Sriram
This report describes the accomplishments of the Nanomanufacturing of Atom-based Dimensional Standards Project, which operated as part of the National Advanced...

An Intelligent Systems Architecture for Manufacturing (ISAM); A Reference Model Architecture for Intelligent Manufacturing Systems

Author(s)
James S. Albus, John A. Horst, Hui-Min Huang, Thomas Kramer, Elena R. Messina, Alex Meystel, John L. Michaloski, Frederick M. Proctor, Harry A. Scott, Edward J. Barkmeyer Jr., M. K. Senehi
The Intelligent Systems Architecture for Manufacturing (ISAM) addresses the application of intelligent systems to the manufacturing enterprise at three degrees...
Was this page helpful?