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

DocumentCode :

2974748

Title :

Completely Validated Software

Author :

Kemmerer, Richard A.

Author_Institution :

University Of California

fYear :

1989

fDate :

15-18 May 1989

Firstpage :

359

Lastpage :

360

Keywords :

Computer science; Control systems; Distributed computing; Formal specifications; Formal verification; Machinery; Permission; Production systems; Real time systems; Weapons;

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.714452

Filename :

714452

Link To Document :

https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2974748