Login / Signup
Challenges in High-Assurance Runtime Verification.
Alwyn Goodloe
Published in:
ISoLA (1) (2016)
Keyphrases
</>
high assurance
software systems
access control
operating system
fault tolerant
lessons learned
distributed systems
real world
database
computer systems
open issues
computer vision
information systems
website
data streams
open source
face verification
real time