BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
S.M.Easterbrook T.L.Montgomery F.Schneider G.J.Holzmann
Talks about:
valid (2) multicast (1) protocol (1) approach (1) reliabl (1) partial (1) system (1) specif (1) seport (1) requir (1)

Person: John R. Callahan

DBLP DBLP: Callahan:John_R=

Contributed to:

ICRE 19981998
RE 19971997
ISSTA 19961996

Wrote 3 papers:

ICRE-1998-SchneiderECH #fault tolerance #model checking #requirements #using #validation
Validating Requirements for Fault Tolerant Systems using Model Checking (FS, SME, JRC, GJH), pp. 4–13.
RE-1997-EasterbrookC #experience #formal method #specification
Formal Methods for V&V of Partial Specifications: An Experience RSeport (SME, JRC), pp. 160–168.
ISSTA-1996-CallahanM #approach #multi #protocol #reliability #validation #verification
An Approach to Verification and Validation of a Reliable Multicasting Protocol (JRC, TLM), pp. 187–194.

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.