SIGSOFT - ACM Special Interest Group on Software Engineeringhttp://www.sigsoft.org/dissertations.html
and analysis for web applications . University of British Columbia (Jan 27 2017, advisor: Ali Mesbah ). Abstract . Asim Abdulkhaleq . A System-Theoretic Safety Engineering Ap
Association for Computing Machinery's Special Interest Group on Software Engineering, with awards, events, resources and contacts
Emergent Technologies Inc. -- Security Kernel</TITLEhttp://mumble.net/~jar/pubs/secureos/secureos.html
Two successful applications of Scheme 48 are the programming environment for the Cornell mobile robots, where Scheme 48 runs with no (other) operating system support; and a secure
CADR
That's everything I could find.
Help make me smarter by submitting a page.