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: Reed:Joy_N=
Contributed to:
2001
19991998Wrote 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.