Home
Ada Advantages
Learn Ada
Resources
ARA Community
Site Map
|
Contact Us
Ada Resource Association
News and resource for the Ada programming language
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.
Share and Enjoy:
Press
Articles
Events
ARA Sponsor Spotlight
View All Sponsors