CORRIGENDUM
- 期刊名称Scandinavian Journal of Infectious Diseases
- 作者Marconescu, Praveena; Graviss, Edward A.; Musher, Daniel M.
- 卷第44卷
- 期第11期
- 印刷ISSN0036-5548
- 电子ISSN1651-1980
- 文件大小33.88KB
- 发表时间2012-11
- DOI10.3109/00365548.2012.726159
- 页码884-884
[IEEE Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance - Gaithersburg, MD, USA (1994.06.27-1994.07.1)] Proceedings of COMPASS 94 - 1994 IEEE 9th Annual Conference on Computer Assurance CMPASS-94 - Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance1994
[IEEE COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance - Gaithersburg, MD, USA (27 June-1 July 1994)] Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance - Testability: an introduction for COMPASS94Miller, K.W. · 1994
[IEEE COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance - Gaithersburg, MD, USA (27 June-1 July 1994)] Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance - What is software reliability?Hamlet, D. · 1994
[IEEE COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance - Gaithersburg, MD, USA (27 June-1 July 1994)] Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance - Formal methods and dependability assessmentStavridou, V.; Liu, S.; Dutertre, B. · 1994
[IEEE COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance - Gaithersburg, MD, USA (27 June-1 July 1994)] Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance - Testability, testing, and critical software assessmentVoas, J.M. · 1994
[IEEE COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance - Gaithersburg, MD, USA (27 June-1 July 1994)] Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance - Experiences formally verifying a network componentCurzon, P. · 1994
[IEEE COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance - Gaithersburg, MD, USA (27 June-1 July 1994)] Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance - An experience modeling critical requirementsPayne, C.N.; Moore, A.P.; Mihelcic, D.M. · 1994
[IEEE COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance - Gaithersburg, MD, USA (27 June-1 July 1994)] Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance - Covert channels-here to stay?Moskowitz, I.S.; Kang, M.H. · 1994
[IEEE Comput. Soc. Press Tenth Conference on Software Engineering Education and Training - Virginia Beach, VA, USA (13-16 April 1997)] Proceedings Tenth Conference on Software Engineering Education and Training - Maintaining knowledge currency in the 21st centuryAmmann, P.; Offutt, J. · 1997
[IEEE Comput. Soc Sixth IEEE International Conference on Engineering of Complex Computer Systems - Tokyo, Japan (11-14 Sept. 2000)] Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000 - Evaluation of three specification-based testing criteriaAbdurazik, A.; Ammann, P.; Wei Ding, ; Offutt, J. · 2000