M. T. Norris (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 David W. Bustard, M. T. Norris, R. A. Orr, Adam C. Winstanley: An Exercise in Formalizing the Description of a Concurrent System. Softw., Pract. Exper. 22(12): 1069-1098 (1992)

3 S. Patel, R. A. Orr, M. T. Norris, David W. Bustard: Tools to Support Formal Methods. ICSE 1989: 123-132

2 David W. Bustard, Adam C. Winstanley, M. T. Norris, R. A. Orr, S. Patel: Graphical Views of Process-Orientated Specifications. FORTE 1988: 143-156

1 R. A. Orr, M. T. Norris, R. Tinker, C. D. V. Rouch: Tools for Real-Time System Design. ICSE 1988: 130-140

Selection of 4 from 6 records - M. T. Norris has 9 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

6		David W. Bustard, M. T. Norris, R. A. Orr, Adam C. Winstanley: An Exercise in Formalizing the Description of a Concurrent System. Softw., Pract. Exper. 22(12): 1069-1098 (1992)
3		S. Patel, R. A. Orr, M. T. Norris, David W. Bustard: Tools to Support Formal Methods. ICSE 1989: 123-132
2		David W. Bustard, Adam C. Winstanley, M. T. Norris, R. A. Orr, S. Patel: Graphical Views of Process-Orientated Specifications. FORTE 1988: 143-156
1		R. A. Orr, M. T. Norris, R. Tinker, C. D. V. Rouch: Tools for Real-Time System Design. ICSE 1988: 130-140