Travelled to:2 × Portugal
Collaborated with:H.Kugler E.J.A.Hubbard A.Pnueli
Talks about:model (3) framework (1) scenario (1) predict (1) develop (1) system (1) logic (1) test (1) care (1) base (1)
Person: Michael J. Stern
DBLP: Stern:Michael_J=
Contributed to:
2007
2007Wrote 2 papers:
- FASE-2007-KuglerSH #modelling #testing
- Testing Scenario-Based Models (HK, MJS, EJAH), pp. 306–320.
- TACAS-2007-KuglerPSH #framework #logic #modelling #predict
- “Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models (HK, AP, MJS, EJAH), pp. 343–357.