Travelled to:
1 × Italy
1 × USA
Collaborated with:
S.Uchitel N.D'Ippolito M.Chechik
Talks about:
behaviour (1) transit (1) partial (1) correct (1) complet (1) system (1) strong (1) analys (1) model (1) modal (1)
Person: Dario Fischbein
DBLP: Fischbein:Dario
Contributed to:
Wrote 2 papers:
- ASE-2008-DIppolitoFCU #named
- MTSA: The Modal Transition System Analyser (ND, DF, MC, SU), pp. 475–476.
- FSE-2008-FischbeinU #behaviour #modelling #on the
- On correct and complete strong merging of partial behaviour models (DF, SU), pp. 297–307.