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 × Italy
1 × Portugal
1 × United Kingdom
Collaborated with:
J.Sinclair J.E.Sinclair F.Guigand D.M.Jackson B.Deianov G.M.Reed
Talks about:
formal (2) model (2) arbitrari (1) independ (1) approach (1) topolog (1) network (1) develop (1) control (1) analysi (1)

Person: Joy N. Reed

DBLP DBLP: Reed:Joy_N=

Contributed to:

FASE 20012001
IFM 19991999
FASE 19981998

Wrote 3 papers:

FASE-2001-ReedS #independence #specification
Combining Independent Specifications (JNR, JS), pp. 45–59.
IFM-1999-ReedSG #deduction #development #formal method #model checking #reasoning
Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development (JNR, JES, FG), pp. 375–394.
FASE-1998-ReedJDR #analysis #automation #formal method #modelling #network
Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms (JNR, DMJ, BD, GMR), pp. 239–254.

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.