Travelled to:1 × Belgium
Collaborated with:M.Büchler P.F.Mihancea M.Minea R.Groz C.Oriat
Talks about:project (1) spacio (1) secur (1) model (1) infer (1) test (1)
Person: Karim Hossen
DBLP: Hossen:Karim
Contributed to:
2014Wrote 1 papers:
- CSMR-WCRE-2014-BuchlerHMMGO #model inference #security #testing
- Model inference and security testing in the spacios project (MB, KH, PFM, MM, RG, CO), pp. 411–414.