Travelled to:
1 × Germany
Collaborated with:
C.Ermel L.Lambers G.Täntzer
Talks about:
plausibl (1) function (1) behavior (1) inspect (1) control (1) consist (1) between (1) critic (1) model (1) favor (1)
Person: Jürgen Gall
DBLP: Gall:J=uuml=rgen
Contributed to:
Wrote 1 papers:
- FASE-2011-ErmelGLT #behaviour #consistency #control flow #functional #modelling
- Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior (CE, JG, LL, GT), pp. 156–170.