DocumentCode

2974062

Title

Tools To Support Formal Methods

Author

Patel, S. ; Orr, R.A. ; Norris, M.T. ; Bustard, D.W.

Author_Institution

British Telecom Researchi Laboratories

fYear

1989

fDate

15-18 May 1989

Firstpage

123

Lastpage

132

Keywords

Distributed computing; Fault detection; Formal specifications; Machinery; Permission; Prototypes; Software design;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering, 1989. 11th International Conference on

ISSN

0270-5257

Print_ISBN

0-8186-8941-2

Type

conf

DOI

10.1109/ICSE.1989.714405

Filename

714405