Travelled to:1 × USA
Collaborated with:P.Godefroid L.J.Jagadeesan
Talks about:model (2) telephon (1) without (1) monitor (1) analysi (1) switch (1) heart (1) check (1) veri (1) soft (1)
Person: Robert S. Hanmer
DBLP: Hanmer:Robert_S=
Contributed to:
1998Wrote 1 papers:
- ISSTA-1998-GodefroidHJ #analysis #model checking #monitoring #using
- Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft (PG, RSH, LJJ), pp. 124–133.