Reliability and Dependability

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