Categories
Open-DO Projects
Contact
info @ open-do.org
Designing and Implementing a Verifiable High Assurance Workstation (Alex Senier – secunet)
From a talk given at the SPARK User Group 2010 High Assurance Software Symposium, Alex Senier from secunet talks about their experiences building High Assurance workstations.
This entry was posted in Events, Open-DO News, Videos. Bookmark the permalink. Post a comment or leave a trackback: Trackback URL.