Title: High Assurance Systems Engineering (Hase 2000)
Subjects: Systems engineering, Congresses, Electronic data processing, Distributed processing