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

SeriesVTT Symposium
Number147
ISSN0357-9387

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). VTT Technical Research Centre of Finland. VTT Symposium, No. 147