Terje Sivertsen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1990–2005
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | SAFECOMP | The TACO Approach for Traceability and Communication of Requirements. | Terje Sivertsen, Rune Fredriksen, Atoosa P.-J. Thunem, Jan-Erik Holmberg, Janne Valkonen, Olli Vent, Jan-Ove Andersson |
| 1996 | FM | A Case Study on the Formal Development of a Reactor Safety System. | Terje Sivertsen |
| 1990 | ICTAI | Dependable knowledge-based systems development and verification: what we can learn from software engineering and what we need. | Sandro Bologna, Eyvind Ness, Terje Sivertsen |