M. T. Norris

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	1992
j1		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)
	1991
c5		P. Mann, A. Mason, M. T. Norris: Industrial Training for Software Engineers. CSEE 1991: 99-113
	1989
c4		M. T. Norris, Sinclair Guillaume Stockman: Industrialising Formal Methods for Telecommunications. ESEC 1989: 159-175
c3		S. Patel, R. A. Orr, M. T. Norris, David W. Bustard: Tools to Support Formal Methods. ICSE 1989: 123-132
	1988
c2		David W. Bustard, Adam C. Winstanley, M. T. Norris, R. A. Orr, S. Patel: Graphical Views of Process-Orientated Specifications. FORTE 1988: 143-156
c1		R. A. Orr, M. T. Norris, R. Tinker, C. D. V. Rouch: Tools for Real-Time System Design. ICSE 1988: 130-140

Coauthor Index

1	David W. Bustard (Dave Bustard)	[j1] [c3] [c2]
2	P. Mann	[c5]
3	A. Mason	[c5]
4	R. A. Orr	[j1] [c3] [c2] [c1]
5	S. Patel	[c3] [c2]
6	C. D. V. Rouch	[c1]
7	Sinclair Guillaume Stockman	[c4]
8	R. Tinker	[c1]
9	Adam C. Winstanley	[j1] [c2]

Last update Sat May 18 15:34:15 2013 CET by the DBLP Team —

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