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. VTT Technical Research Centre of Finland. Valtion teknillinen tutkimuskeskus: Sähkötekniikan laboratorio. Tiedonanto, No. 47