Travelled to:1 × United Kingdom
Collaborated with:T.Born W.Obelöer L.Schäfers S.Eisler B.Josko G.Sandmann J.Stroop
Talks about:preliminari (1) parallel (1) trapper (1) program (1) monitor (1) graphic (1) environ (1) automot (1) result (1) applic (1)
Person: Christian Scheidler
DBLP: Scheidler:Christian
Contributed to:
2005
1995Wrote 2 papers:
- FM-2005-EislerSJSS #case study #model checking
- Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications (SE, CS, BJ, GS, JS), pp. 533–536.
- PDP-1995-BornOSS #monitoring #parallel #programming #visual notation
- The monitoring facilities of the graphical parallel programming environment TRAPPER (TB, WO, LS, CS), pp. 555–562.