[IEEE MILCOM 91 - Conference record - McLean, VA, USA (4-7 Nov. 1991)] MILCOM 91 - Conference record - Message reconstruction design criteria
- 作者Kain, C.W.; Buchynsky, P.P.
- 文件大小273.82KB
- 发表时间1991
- DOI10.1109/milcom.1991.258419
- 页码991-994
[IEEE Comput. Soc 1997 High-Assurance Engineering Workshop - Washington, DC, USA (11-12 Aug. 1997)] Proceedings 1997 High-Assurance Engineering Workshop - The quality of service model and high assuranceLawrence, T.F. · 1997
[IEEE Comput. Soc 1997 High-Assurance Engineering Workshop - Washington, DC, USA (11-12 Aug. 1997)] Proceedings 1997 High-Assurance Engineering Workshop - Toward more effective testing for high assurance systemsHecht, H.; Hecht, M.; Wallace, D. · 1997
[IEEE Comput. Soc 1997 High-Assurance Engineering Workshop - Washington, DC, USA (11-12 Aug. 1997)] Proceedings 1997 High-Assurance Engineering Workshop - High assurance application systems and their technologies under changing situationsMori, K. · 1997
Process algebraic modelling and analysis of power-aware real-time systemsInsup Lee; Philippou, A.; Sokolsky, O. · 2002
[IEEE 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS) - Philadelphia, PA (2013.4.9-2013.4.11)] 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS) - Overhead-aware compositional analysis of real-time systemsPhan, L. T. X.; Meng Xu, ; Jaewoo Lee, ; Insup Lee, ; Sokolsky, O. · 2013
[IEEE Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05) - Budapest, Hungary (30-01 Sept. 2005)] Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05) - Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model CheckingHyoung Seok Hong, ; Insup Lee, ; Sokolsky, O. · 2005