-
Federal
NIST alloy data
National Institute of Standards and Technology —
The NIST Alloy data web application (https://trc.nist.gov/metals_data) provides access to thermophysical property data with a focus on unary, binary, and ternary... -
Federal
Translations from OBM Library and SysML Behavior Examples to Alloy
National Institute of Standards and Technology —
This repository includes Alloy Analyzer code from the development of NIST Interagency Report (NISTIR) 8388-upd1. The report presents an approach to verifying... -
Federal
Translations from OBM Library and SysML Behavior Examples to Alloy
Department of Commerce —
This repository includes Alloy Analyzer code from the development of NIST Interagency Report (NISTIR) 8388-upd1. The report presents an approach to verifying... -
Federal
NIST alloy data
Department of Commerce —
The NIST Alloy data web application (https://trc.nist.gov/metals_data) provides access to thermophysical property data with a focus on unary, binary, and ternary...