| Original language | English |
|---|---|
| Place of Publication | Espoo |
| Publisher | VTT Technical Research Centre of Finland |
| Number of pages | 66 |
| Publication status | Published - 2014 |
| MoE publication type | D4 Published development or research report or study |
Publication series
| Series | Lappeenranta University of Technology: Department of Information Technology. Research report |
|---|---|
| Volume | VTT-R-01067-14 |
Keywords
- Requirements
- Controlled Natural Languages
- model checking
- templates
- patterns
Cite this
}
Controlled natural language requirements in the design and analysis of safety critical I&C systems. / Tommila, Teemu; Pakonen, Antti.
Espoo : VTT Technical Research Centre of Finland, 2014. 66 p. (Lappeenranta University of Technology: Department of Information Technology. Research report, Vol. VTT-R-01067-14).Research output: Book/Report › Report
TY - BOOK
T1 - Controlled natural language requirements in the design and analysis of safety critical I&C systems
AU - Tommila, Teemu
AU - Pakonen, Antti
N1 - Project code: 77380 / SAREMAN-2013
PY - 2014
Y1 - 2014
KW - Requirements
KW - Controlled Natural Languages
KW - model checking
KW - templates
KW - patterns
M3 - Report
T3 - Lappeenranta University of Technology: Department of Information Technology. Research report
BT - Controlled natural language requirements in the design and analysis of safety critical I&C systems
PB - VTT Technical Research Centre of Finland
CY - Espoo
ER -