Software development technologies for reactive, real-time, and hybrid systems [microform] / P.I., Zohar Manna ([NASA contractor report] ; NASA-CR-205329)
Software development technologies for reactive, real-time, and hybrid systems [microform] / P.I., Zohar Manna
原資料の出版事項: [Washington, D.C. ; Springfield, Va. : National Aeronautics and Space Administration : National Technical Information Service, distributor, 1997]