COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0780301269

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The computer-related risk of the year: weak links and correlated events

COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance ◽

10.1109/cmpass.1991.161027 ◽

2002 ◽

Cited By ~ 7

Author(s):

P.G. Newmann

Keyword(s):

Weak Links ◽

Related Risk

Download Full-text

Fault locator and weighting system

COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance ◽

10.1109/cmpass.1991.161058 ◽

2002 ◽

Author(s):

J.A. Bulow

Keyword(s):

Weighting System

Download Full-text

Computer software in civil aircraft

COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance ◽

10.1109/cmpass.1991.161029 ◽

2002 ◽

Author(s):

J.P. Potocki De Montalk

Keyword(s):

Computer Software ◽

Civil Aircraft

Download Full-text

Trends that must be addressed in quality assurance education

COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance ◽

10.1109/cmpass.1991.161033 ◽

2002 ◽

Author(s):

C.L. Lohr

Keyword(s):

Quality Assurance

Download Full-text

Specifying and verifying real-time systems using time Petri nets and real-time temporal logic

COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance ◽

10.1109/cmpass.1991.161052 ◽

2002 ◽

Cited By ~ 1

Author(s):

X. He

Keyword(s):

Petri Nets ◽

Real Time ◽

Temporal Logic ◽

Time Petri Nets ◽

Real Time Systems ◽

Time Systems

Download Full-text

Using correctness results to verify behavioral properties of microprocessors

COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance ◽

10.1109/cmpass.1991.161049 ◽

2002 ◽

Cited By ~ 2

Author(s):

P.J. Windley

Download Full-text

Report on the formal specification and partial verification of the VIPER microprocessor

COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance ◽

10.1109/cmpass.1991.161048 ◽

2002 ◽

Cited By ~ 3

Author(s):

B. Brock ◽

W.A. Hunt

Keyword(s):

Formal Specification

Download Full-text

Certification of production-representative/production software-intensive systems for dedicated test and evaluation

COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance ◽

10.1109/cmpass.1991.161036 ◽

2002 ◽

Author(s):

A.F. Shumskas

Keyword(s):

Test And Evaluation ◽

Production Software ◽

Software Intensive

Download Full-text

Developing implementations of Estelle specifications using the PEDS toolkit

COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance ◽

10.1109/cmpass.1991.161053 ◽

2002 ◽

Author(s):

W. Majurski

Download Full-text

Continuing education and certification for improved computer assurance

COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance ◽

10.1109/cmpass.1991.161034 ◽

2002 ◽

Author(s):

W.S. Junk

Keyword(s):

Continuing Education

Download Full-text

COMPASS '91, Proceedings of the Sixth Annual Conference on Computer AssuranceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

The computer-related risk of the year: weak links and correlated events

Fault locator and weighting system

Computer software in civil aircraft

Trends that must be addressed in quality assurance education

Specifying and verifying real-time systems using time Petri nets and real-time temporal logic

Using correctness results to verify behavioral properties of microprocessors

Report on the formal specification and partial verification of the VIPER microprocessor

Certification of production-representative/production software-intensive systems for dedicated test and evaluation

Developing implementations of Estelle specifications using the PEDS toolkit

Continuing education and certification for improved computer assurance

COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance
Latest Publications