Travelled to:
1 × India
Collaborated with:
P.Raymond E.Jahier
Talks about:
reactiv (1) describ (1) system (1) random (1) execut (1)
Person: Yvan Roux
DBLP: Roux:Yvan
Contributed to:
Wrote 1 papers:
- SEFM-2006-RaymondJR #random
- Describing and Executing Random Reactive Systems (PR, EJ, YR), pp. 216–225.