Title: Sixth IEEE International Symposium on High Assurance Systems Engineering
First published: 2001
Subjects: Congresses, Systems engineering, Electronic data processing, Distributed processing