Login / Signup
OpenGL ES Safety Critical.
Chris Hall
Published in:
SIGGRAPH Courses (2006)
Keyphrases
</>
safety critical
formal methods
fault tolerant
embedded systems
agent architecture
safety analysis
nuclear power plant
regulatory requirements
support systems
adaptive systems
databases
low cost
data warehouse
software systems
model checking