Investigation of methods for production and verification of safety related computer programmes

H. Dahll, Jaakko Lahti

Research output: Book/Report › Report

Original language	English
Place of Publication	Espoo
Publisher	VTT Technical Research Centre of Finland
Number of pages	18
ISBN (Print)	951-38-0900-5
Publication status	Published - 1980
MoE publication type	D4 Published development or research report or study

Series	Valtion teknillinen tutkimuskeskus: Sähkötekniikan laboratorio. Tiedonanto
Number	47
ISSN	0355-3671

Cite this

@book{6bcd4654621c4b1481c67f3df3c4775e,

title = "Investigation of methods for production and verification of safety related computer programmes",

author = "H. Dahll and Jaakko Lahti",

year = "1980",

language = "English",

isbn = "951-38-0900-5",

series = "Valtion teknillinen tutkimuskeskus: S{\"a}hk{\"o}tekniikan laboratorio. Tiedonanto",

publisher = "VTT Technical Research Centre of Finland",

number = "47",

address = "Finland",

}

TY - BOOK

T1 - Investigation of methods for production and verification of safety related computer programmes

AU - Dahll, H.

AU - Lahti, Jaakko

PY - 1980

Y1 - 1980

M3 - Report

SN - 951-38-0900-5

T3 - Valtion teknillinen tutkimuskeskus: Sähkötekniikan laboratorio. Tiedonanto

BT - Investigation of methods for production and verification of safety related computer programmes

PB - VTT Technical Research Centre of Finland

CY - Espoo

ER -