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

H. Dahll, Jaakko Lahti

Research output: Book/ReportReport

Original languageEnglish
Place of PublicationEspoo
PublisherVTT Technical Research Centre of Finland
Number of pages18
ISBN (Print)951-38-0900-5
Publication statusPublished - 1980
MoE publication typeD4 Published development or research report or study

Publication series

SeriesValtion teknillinen tutkimuskeskus: Sähkötekniikan laboratorio. Tiedonanto
Number47
ISSN0355-3671

Cite this

Dahll, H., & Lahti, J. (1980). Investigation of methods for production and verification of safety related computer programmes. Espoo: VTT Technical Research Centre of Finland. Valtion teknillinen tutkimuskeskus: Sähkötekniikan laboratorio. Tiedonanto, No. 47
Dahll, H. ; Lahti, Jaakko. / Investigation of methods for production and verification of safety related computer programmes. Espoo : VTT Technical Research Centre of Finland, 1980. 18 p. (Valtion teknillinen tutkimuskeskus: Sähkötekniikan laboratorio. Tiedonanto; No. 47).
@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",

}

Dahll, H & Lahti, J 1980, Investigation of methods for production and verification of safety related computer programmes. Valtion teknillinen tutkimuskeskus: Sähkötekniikan laboratorio. Tiedonanto, no. 47, VTT Technical Research Centre of Finland, Espoo.

Investigation of methods for production and verification of safety related computer programmes. / Dahll, H.; Lahti, Jaakko.

Espoo : VTT Technical Research Centre of Finland, 1980. 18 p. (Valtion teknillinen tutkimuskeskus: Sähkötekniikan laboratorio. Tiedonanto; No. 47).

Research output: Book/ReportReport

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 -

Dahll H, Lahti J. Investigation of methods for production and verification of safety related computer programmes. Espoo: VTT Technical Research Centre of Finland, 1980. 18 p. (Valtion teknillinen tutkimuskeskus: Sähkötekniikan laboratorio. Tiedonanto; No. 47).