Formal methods in design and verifications of functional specifications

Heikki Välisuo

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientific

Original languageEnglish
Title of host publicationAdvanced control and instrumentation systems in nuclear power plants
Subtitle of host publicationDesign, verification and validation
Place of PublicationEspoo
PublisherVTT Technical Research Centre of Finland
Pages355-365
ISBN (Print)951-38-4098-0
Publication statusPublished - 1994
MoE publication typeB3 Non-refereed article in conference proceedings
EventAdvanced control and instrumentation systems in nuclear power plants: Design, verification and validation: IAEA/IWG/ATWR & NPPCI Technical Committee Meeting - Espoo, Finland
Duration: 20 Jun 199423 Jun 1994

Publication series

NameVTT Symposium
PublisherVTT
Number147
ISSN (Print)0357-9387
ISSN (Electronic)1455-0873

Conference

ConferenceAdvanced control and instrumentation systems in nuclear power plants: Design, verification and validation
CountryFinland
CityEspoo
Period20/06/9423/06/94

Cite this

Välisuo, H. (1994). Formal methods in design and verifications of functional specifications. In Advanced control and instrumentation systems in nuclear power plants: Design, verification and validation (pp. 355-365). Espoo: VTT Technical Research Centre of Finland. VTT Symposium, No. 147
Välisuo, Heikki. / Formal methods in design and verifications of functional specifications. Advanced control and instrumentation systems in nuclear power plants: Design, verification and validation. Espoo : VTT Technical Research Centre of Finland, 1994. pp. 355-365 (VTT Symposium; No. 147).
@inproceedings{48bb9ffc525f4772ae915aca2935e4d5,
title = "Formal methods in design and verifications of functional specifications",
author = "Heikki V{\"a}lisuo",
note = "Project code: AUT42002",
year = "1994",
language = "English",
isbn = "951-38-4098-0",
series = "VTT Symposium",
publisher = "VTT Technical Research Centre of Finland",
number = "147",
pages = "355--365",
booktitle = "Advanced control and instrumentation systems in nuclear power plants",
address = "Finland",

}

Välisuo, H 1994, Formal methods in design and verifications of functional specifications. in Advanced control and instrumentation systems in nuclear power plants: Design, verification and validation. VTT Technical Research Centre of Finland, Espoo, VTT Symposium, no. 147, pp. 355-365, Advanced control and instrumentation systems in nuclear power plants: Design, verification and validation, Espoo, Finland, 20/06/94.

Formal methods in design and verifications of functional specifications. / Välisuo, Heikki.

Advanced control and instrumentation systems in nuclear power plants: Design, verification and validation. Espoo : VTT Technical Research Centre of Finland, 1994. p. 355-365 (VTT Symposium; No. 147).

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientific

TY - GEN

T1 - Formal methods in design and verifications of functional specifications

AU - Välisuo, Heikki

N1 - Project code: AUT42002

PY - 1994

Y1 - 1994

M3 - Conference article in proceedings

SN - 951-38-4098-0

T3 - VTT Symposium

SP - 355

EP - 365

BT - Advanced control and instrumentation systems in nuclear power plants

PB - VTT Technical Research Centre of Finland

CY - Espoo

ER -

Välisuo H. Formal methods in design and verifications of functional specifications. In Advanced control and instrumentation systems in nuclear power plants: Design, verification and validation. Espoo: VTT Technical Research Centre of Finland. 1994. p. 355-365. (VTT Symposium; No. 147).