TY  - GEN
AU  - Alex Weissman
AU  - Satyandra Gupta
AU  - Xenia Fiorentini
AU  - Sudarsan Rachuri
AU  - Ram Sriram
C2  - NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD
DA  - 2009-08-27 00:08:00
DO  - https://doi.org/10.6028/NIST.IR.7626
LA  - en
PB  - NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD
PY  - 2009
TI  - Formal Representation of Product Design Specifications for Validating Product Designs
UR  - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=902722
ER  -