default search action
"2nd High-Assurance Systems Engineering Workshop (HASE '97), August 11-12, ..."
- 2nd High-Assurance Systems Engineering Workshop (HASE '97), August 11-12, 1997, Washington, DC, USA, Proceedings. IEEE Computer Society 1997, ISBN 0-8186-7971-9 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.