Travelled to:
1 × Canada
1 × USA
Collaborated with:
S.Uchitel M.Chechik
Talks about:
behaviour (2) properti (2) model (2) synthesi (1) scenario (1) merg (1)
Person: Greg Brunet
DBLP: Brunet:Greg
Contributed to:
Wrote 2 papers:
- ICSE-2007-UchitelBC #behaviour #synthesis
- Behaviour Model Synthesis from Properties and Scenarios (SU, GB, MC), pp. 34–43.
- FM-2006-BrunetCU #behaviour #model merging
- Properties of Behavioural Model Merging (GB, MC, SU), pp. 98–114.