Login / Signup
Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates.
Sonja Glavaski
Antonis Papachristodoulou
Kartik B. Ariyur
Published in:
HSCC (2005)
Keyphrases
</>
image sequences
neural network
expert systems
information technology
decision support
data sets
real world
machine learning
information retrieval
genetic algorithm
face recognition
end users
model checking