Travelled to:1 × Singapore
1 × USA
1 × United Kingdom
Collaborated with:S.G.Stockman R.A.Orr S.Patel D.W.Bustard R.Tinker C.D.V.Rouch
Talks about:method (2) formal (2) tool (2) industrialis (1) telecommun (1) support (1) system (1) design (1) time (1) real (1)
Person: M. T. Norris
DBLP: Norris:M=_T=
Contributed to:
1989
19891988Wrote 3 papers:
- ESEC-1989-NorrisS #formal method
- Industrialising Formal Methods for Telecommunications (MTN, SGS), pp. 159–175.
- 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.