2005 |
4 | EE | Terje Sivertsen,
Rune Fredriksen,
Atoosa P.-J. Thunem,
Jan-Erik Holmberg,
Janne Valkonen,
Olli Ventä,
Jan-Ove Andersson:
The TACO Approach for Traceability and Communication of Requirements.
SAFECOMP 2005: 317-329 |
2004 |
3 | | Terje Sivertsen:
Undefinedness vs. Underspecification in HALDEN ASL.
Nord. J. Comput. 11(1): 12-34 (2004) |
1996 |
2 | | Terje Sivertsen:
A Case Study on the Formal Development of a Reactor Safety System.
FME 1996: 18-38 |
1993 |
1 | EE | Sandro Bologna,
Terje Sivertsen,
Heikki Välisuo:
Rigorous Engineering Practice and Formal Reasoning of Deep Domain Knowledge - the Basis of Dependable Knowledge Based Systems for Process Plant Control.
International Journal of Software Engineering and Knowledge Engineering 3(1): 53-98 (1993) |