01577aam 2200421I 450 991071074930332120160421112351.0GOVPUB-C13-f6c7c0b514c1768dec7d953ac56e1e19(CKB)5470000002478814(OCoLC)947049639(EXLCZ)99547000000247881420160421d2009 ua 0engrdacontentrdamediardacarrierFormal representation of product design specifications for validating product designs /Alex Weissman; Satyandra K. Gupta; Xenia Fiorentini; Rachuri Sudarsan; Ram D. SriramGaithersburg, MD :U.S. Dept. of Commerce, National Institute of Standards and Technology,2009.1 online resourceNISTIR ;76262009.Contributed record: Metadata reviewed, not verified. Some fields updated by batch processes.Title from PDF title page.Includes bibliographical references.Weissman Alex1418281Fiorentini Xenia1388800Gupta Satyandra K1401881Sriram Ram D1390362Rachuri Sudarsan1388804Weissman Alex1418281National Institute of Standards and Technology (U.S.)NBSNBSGPOBOOK9910710749303321Formal representation of product design specifications for validating product designs3529228UNINA