مرکز منطقه ای اطلاع رساني علوم و فناوري

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

Link To Document :