Travelled to:
1 × France
Collaborated with:
L.Astefanoaei S.Bensalem M.Bozga J.Combaz
Talks about:
composit (1) generat (1) system (1) invari (1) time (1)
Person: Souha Ben Rayana
DBLP: Rayana:Souha_Ben
Contributed to:
Wrote 1 papers:
- TACAS-2014-AstefanoaeiRBBC #composition #generative #invariant
- Compositional Invariant Generation for Timed Systems (LA, SBR, SB, MB, JC), pp. 263–278.