International Symposium on High Assurance Systems Engineering 9 2005 Heidelberg,
Institute of Electrical and Electronics Engineers,
Friedrich-Alexander-Universität Erlangen-Nürnberg,
Technische Universität Darmstadt,
IEEE Computer Society
Ninth IEEE International Symposium on High-Assurance Systems Engineering, 2005
Footnote:
"IEEE Computer Society Order Number: P2377"--Title page verso
Includes bibliographical references and author index
Parallel als Buch-Ausg. erschienen
Systemvoraussetzungen: Acrobat reader