Symbolic Representation and Computation of Timed Discrete-Event Systems
- 期刊名称IEEE Transactions on Automation Science and Engineering
- 作者Miremadi, S.; Fei, Z.; Akesson, K.; Lennartson, B.
- 卷第11卷
- 期第1期
- 印刷ISSN1545-5955
- 电子ISSN1558-3783
- 文件大小2988.45KB
- 发表时间2014-01
- DOI10.1109/tase.2013.2282895
- 页码6-19
[IEEE 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings - Irvine, CA, USA (26-30 Oct. 1997)] 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings - Cockpit weather information (CWIN) systemTu, J.C. · 1997
[IEEE 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings - Irvine, CA, USA (26-30 Oct. 1997)] 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings - Data analysis system for the F-16Atkinson, G.F.; Austin, S.C. · 1997
[IEEE 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings - Irvine, CA, USA (26-30 Oct. 1997)] 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings - National Airspace System architecture metrics assessmentCallaham, M.B. · 1997
[IEEE 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings - Irvine, CA, USA (26-30 Oct. 1997)] 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings - GPS attitude system integrated with an inertial system for space applicationsGelderloos, H.C.; Sheikh, S.I.; Schipper, B.W. · 1997
[IEEE 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings - Irvine, CA, USA (26-30 Oct. 1997)] 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings - Fly-by-light aircraft system cable plantsWeaver, T.L. · 1997
[IEEE 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings - Irvine, CA, USA (26-30 Oct. 1997)] 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings - Passive millimeter wave imaging sensor enhanced vision systemOrtiz, A. · 1997
[IEEE 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings - Irvine, CA, USA (26-30 Oct. 1997)] 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings - Boeing 777 airplane information management system operational experienceAleksa, B.D.; Carter, J.P. · 1997
[IEEE 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings - Irvine, CA, USA (26-30 Oct. 1997)] 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings - Smart sensors and system health management tools for avionics and mechanical systemsLewis, S.A.; Edwards, T.G. · 1997