[IEEE 19th Digital Avionics System Conference. Proceedings - Philadelphia, PA, USA (7-13 Oct. 2000)] 19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126) - Automating software specification, design and synthesis for computer aided control system design tools

• 作者Ranville, S.; Bostic, D.; Toeppe, S.
• 卷第1卷
• 文件大小1165.61KB
• 发表时间2000
• DOI10.1109/DASC.2000.886952