Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking
Latest Publications

TOTAL DOCUMENTS

23

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0769512755

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Analyzing Internet security protocols

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking ◽

10.1109/hase.2001.966816 ◽

2002 ◽

Author(s):

A. Yasinsac ◽

J. Childs

Keyword(s):

Security Protocols ◽

Internet Security

Download Full-text

High assurance technologies for autonomous decentralized train control system

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking ◽

10.1109/hase.2001.966822 ◽

2002 ◽

Author(s):

M. Matsumoto ◽

S. Kitamura ◽

M. Sato

Keyword(s):

Control System ◽

Train Control ◽

Train Control System ◽

Download Full-text

Genetic programming model for software quality classification

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking ◽

10.1109/hase.2001.966814 ◽

2002 ◽

Author(s):

Yi Liu ◽

T.M. Khoshgoftaar

Keyword(s):

Genetic Programming ◽

Software Quality ◽

Programming Model ◽

Quality Classification

Download Full-text

A survey: applying formal methods to a software intensive system

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking ◽

10.1109/hase.2001.966807 ◽

2002 ◽

Author(s):

A. de Groot ◽

J. Hooman ◽

M. Lemoine ◽

G. Gaudiere ◽

V.L. Winter ◽

...

Keyword(s):

Formal Methods ◽

Intensive System ◽

Software Intensive

Download Full-text

Framework for testing the fault-tolerance of systems including OS and network aspects

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking ◽

10.1109/hase.2001.966811 ◽

2002 ◽

Author(s):

K. Buchacker ◽

V. Sieh

Keyword(s):

Fault Tolerance

Download Full-text

Adaptive step-by-step construction technique achieving high assurance for Tokyo Metropolitan railway network

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking ◽

10.1109/hase.2001.966823 ◽

2002 ◽

Author(s):

K. Kera ◽

K. Bekki ◽

K. Kamijyo ◽

K. Mori

Keyword(s):

Railway Network ◽

Construction Technique ◽

Tokyo Metropolitan ◽

High Assurance ◽

Download Full-text

The SASHA architecture for network-clustered web servers

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking ◽

10.1109/hase.2001.966817 ◽

2002 ◽

Author(s):

S. Goddard ◽

T. Schroeder

Keyword(s):

Download Full-text

Mechanisms for a reliable cooperation of vehicles

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking ◽

10.1109/hase.2001.966809 ◽

2002 ◽

Author(s):

E. Nett ◽

M. Gergeleit ◽

M. Mock

Download Full-text

Verification of assurance of space on-board distributed computer system

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking ◽

10.1109/hase.2001.966810 ◽

2002 ◽

Author(s):

H. Yashiro ◽

Y. Takahashi ◽

T. Fujiwara

Keyword(s):

Computer System ◽

Distributed Computer System

Download Full-text

A test management and software visualization framework for heterogeneous distributed applications

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking ◽

10.1109/hase.2001.966812 ◽

2002 ◽

Author(s):

S. Ghosh ◽

N. Bawa ◽

G. Craig ◽

K. Kalgaonkar

Keyword(s):

Distributed Applications ◽

Software Visualization ◽

Test Management

Download Full-text