Travelled to:
1 × Germany
Collaborated with:
F.Bouchhima G.Nicolescu H.Boucheneb
Talks about:
discret (1) continu (1) system (1) semant (1) valid (1) model (1) base (1)
Person: Luiza Gheorghe
DBLP: Gheorghe:Luiza
Contributed to:
Wrote 1 papers:
- DATE-2008-GheorgheBNB #modelling #semantics #validation
- Semantics for Model-Based Validation of Continuous/Discrete Systems (LG, FB, GN, HB), pp. 498–503.