Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0769509274

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Four areas of overlapping interest

Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) ◽

10.1109/hase.2000.895440 ◽

2005 ◽

Author(s):

R.R. Lutz

Download Full-text

Disappearing formal methods*

Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) ◽

10.1109/hase.2000.895446 ◽

2005 ◽

Cited By ~ 12

Author(s):

J. Rushby

Keyword(s):

Formal Methods

Download Full-text

Do formal methods really belong in the toolbox of the practicing engineer?

Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) ◽

10.1109/hase.2000.895451 ◽

2005 ◽

Author(s):

L.A. King

Keyword(s):

Formal Methods

Download Full-text

Issues concerning the future of computer science

Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) ◽

10.1109/hase.2000.895439 ◽

2005 ◽

Author(s):

D.E. Cooke

Keyword(s):

Computer Science ◽

The Future

Download Full-text

How can symposia be structured to benefit both industry and academia?

Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) ◽

10.1109/hase.2000.895438 ◽

2005 ◽

Author(s):

A.Q. Gates

Download Full-text

Engineering ethics: principles and practical maxims*

Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) ◽

10.1109/hase.2000.895433 ◽

2005 ◽

Author(s):

J.H. Stichman

Keyword(s):

Engineering Ethics

Download Full-text

On how symposia can be structured to benefit academia and industry*

Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) ◽

10.1109/hase.2000.895441 ◽

2005 ◽

Author(s):

J.H. Stichman

Download Full-text

Quantitative analysis of dependability critical systems based on UML statechart models

Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) ◽

10.1109/hase.2000.895445 ◽

2002 ◽

Cited By ~ 6

Author(s):

H. Gabor ◽

M. Istvan

Keyword(s):

Quantitative Analysis ◽

Critical Systems

Download Full-text

An embedded system for safe, secure and reliable execution of high consequence software

Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) ◽

10.1109/hase.2000.895448 ◽

2002 ◽

Cited By ~ 3

Author(s):

J.A. McCoy

Keyword(s):

Embedded System

Download Full-text

Structured language for specifications of quantitative requirements

Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) ◽

10.1109/hase.2000.895466 ◽

2002 ◽

Cited By ~ 2

Author(s):

M. Dal Cin

Download Full-text

Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc

Four areas of overlapping interest

Disappearing formal methods*

Do formal methods really belong in the toolbox of the practicing engineer?

Issues concerning the future of computer science

How can symposia be structured to benefit both industry and academia?

Engineering ethics: principles and practical maxims*

On how symposia can be structured to benefit academia and industry*

Quantitative analysis of dependability critical systems based on UML statechart models

An embedded system for safe, secure and reliable execution of high consequence software

Structured language for specifications of quantitative requirements

Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000)
Latest Publications