Reliability and Dependability

 
Keywords People
Verification & Probabilistic Programming Joost-Pieter Katoen
Model Verification Erika Ábrahám
Reliability and Safety of Embedded Systems Stefan Kowalewski