Blog
Jan 10 '11
Designing a High Assurance Workstation (Alex Senier – secunet)
by jayre
In this video of 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.
