[IEEE 29th Annual International Computer Software and Applications Conference (COMPSAC'05) - Edinburgh, UK (2005.07.28-2005.07.28)] 29th Annual International Computer Software and Applications Conference (COMPSAC'05) - 29th Annual International Computer Software and Applications Conference - Table of Contents
- 文件大小57.43KB
- 发表时间2005
- DOI10.1109/COMPSAC.2005.9
[IEEE Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - San Diego, CA, USA (June 23-25, 2004)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - Message from the chairsShukla, A.; Shukla, S.; Heitmeyer, C.; Talpin, J. · 2004
[IEEE Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - San Diego, CA, USA (June 23-25, 2004)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - The battle of accountable voting systemsDill, D.L. · 2004
[IEEE Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - San Diego, CA, USA (June 23-25, 2004)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - Designers want proofs - but show me the moneyPixley, C.; Meyers, D.; McMaster, S.; Chittor, A. · 2004
[IEEE Proceedings of the Second International Conference on Requirements Engineering - Colorado Springs, CO, USA (1996.04.15-1996.04.18)] Proceedings of the Second International Conference on Requirements Engineering ICRE-96 - Author index1996
[IEEE Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - San Diego, CA, USA (June 23-25, 2004)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - The ephemeral history register: flexible scheduling for rule-based designsRosenband, D.L. · 2004
[IEEE Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - San Diego, CA, USA (June 23-25, 2004)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - Bounded model checking of infinite state systems: exploiting the automata hierarchySchuele, T.; Schneider, K. · 2004
[IEEE Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - San Diego, CA, USA (2004.06.23-2004.06.25)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - The BUSpec platform for automated generation of verification aids for standard bus protocolsBhaskar Pal, ; Ansuman Banerjee, ; Pallab Dasgupta, ; Chakrabarti, P.P. · 2004
[IEEE Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - San Diego, CA, USA (June 23-25, 2004)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - Panel: given that hardware verification has been an uphill battle, what is the future of software verification?Shukla, S.K.; Bultan, T.; Heitmeyer, C. · 2004