Nina Elisabeth Holt

Mobile: +47 950 87 972
Office: +47 67 82 83 07

Publications

Download search result as BibTeX

Found 2 scientific publications (published or accepted for publication in forums with peer review).

Simula has implemented a set of publication guidelines based on the Vancouver Convention, which are enforced for all publications available in our online database.

Publications with a bar on the left have been produced outside Simula.

2010

Technical Reports

2009

Technical Reports

2006

Refereed Proceedings

N. E. Holt, B. C. D. Anda, K. Asskildt, L. C. L. Briand, J. Endresen, and S. Frøystein. Experiences with Precise State Modeling in an Industrial Safety Critical System, In: Critical Systems Development Using Modeling Lanuguages, CSDUML'06, ed. by Siv Hilde Houmb, Geri Georg, Robert France, Dorina C. Petriu, and Jan Jürjens, chap. 6, pp. 68-77, Springer, 9th edition ed, 2006.

Master's Theses

Personal tools