BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hanmer:Robert_S=

Contributed to:

ISSTA 19981998

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.