HASE 2002: Tokyo, Japan

Fault Tolerance

Invited Paper

Papers

High Assurance Architecture

Invited Paper

Papers

High Assurance Techniques

Invited Paper

Papers

Fast Abstracts

Software Engineering Including Model Checking

Invited Paper

Papers

Assurance in Networks

Invited Paper

Papers

Assurance in Communications

Invited Paper

Papers

Fast Abstracts

Formal Techniques

Papers

Specification, Testing and Quality

Papers

Fast Abstracts