1 × Germany
1 × United Kingdom
O.Niggemann S.Eisler C.Scheidler B.Josko G.Sandmann
model (4) preliminari (1) themselv (1) explicit (1) automot (1) system (1) result (1) applic (1) advanc (1) studi (1)
Person: Joachim Stroop
Wrote 2 papers:
- ICSE-2008-NiggemannS #modelling #why
- Models for model’s sake: why explicit system models are also an end to themselves (ON, JS), pp. 561–570.
- 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.