Collaborated with:
E.Cavalcante L.Traonouez F.Oquendo T.Batista A.Legay
Talks about:
architectur (1) statist (1) softwar (1) model (1) dynam (1) check (1)
Person: Jean Quilbeuf
DBLP: Quilbeuf:Jean
Contributed to:
Wrote 1 papers:
- ECSA-2016-CavalcanteQTOBL #architecture #model checking #statistics
- Statistical Model Checking of Dynamic Software Architectures (EC, JQ, LMT, FO, TB, AL), pp. 185–200.