Travelled to:1 × USA
Collaborated with:W.Chan R.J.Anderson P.Beame D.Notkin W.E.Warner
Talks about:statechart (1) synchron (1) decoupl (1) control (1) symbol (1) effici (1) model (1) local (1) check (1)
Person: David H. Jones
DBLP: Jones:David_H=
Contributed to:
1999Wrote 1 papers:
- ICSE-1999-ChanABJNW #model checking #performance
- Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts (WC, RJA, PB, DHJ, DN, WEW), pp. 142–151.