Travelled to:1 × Singapore
1 × USA
Collaborated with:M.T.Norris S.Patel D.W.Bustard R.Tinker C.D.V.Rouch
Talks about:tool (2) support (1) system (1) method (1) formal (1) design (1) time (1) real (1)
Person: R. A. Orr
DBLP: Orr:R=_A=
Contributed to:
19891988Wrote 2 papers:
- ICSE-1989-PatelONB #formal method #tool support
- Tools to Support Formal Methods (SP, RAO, MTN, DWB), pp. 123–132.
- ICSE-1988-OrrNTR #design #realtime #tool support
- Tools for Real-Time System Design (RAO, MTN, RT, CDVR), pp. 130–140.