Formalizing the NIST 4-D/RCS reference model architecture using an architectural description language
By: C. Dabrowski ... [et al.].
Contributors: Dabrowski, Christopher E.; National Institute of Standards and Technology (U.S.)
Series: NISTIR -- 6443.
Publisher: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology
Published: 1999
Place of publication: Gaithersburg, MD
Language: eng
Format: Microform
Number of pages: 61
Subjects: Real-time control.; Computer software -- United States -- Development.
Other titles: Formalizing the NIST 4 D/RCS reference model architecture using an architectural description language.
Notes: Shipping list no.: 2000-0455-M.

"December 1999."

Includes bibliographical references (p. 41-43).

Microfiche. [Washington, D.C.] : Supt. of Docs., U.S. G.P.O., [2000] 1 microfiche : negative.