Controlled natural language requirements in the design and analysis of safety critical I&C systems

Teemu Tommila, Antti Pakonen

Research output: Book/ReportReport

Original languageEnglish
Place of PublicationEspoo
PublisherVTT Technical Research Centre of Finland
Number of pages66
Publication statusPublished - 2014
MoE publication typeD4 Published development or research report or study

Publication series

SeriesLappeenranta University of Technology: Department of Information Technology. Research report
VolumeVTT-R-01067-14

Keywords

  • Requirements
  • Controlled Natural Languages
  • model checking
  • templates
  • patterns

Cite this