Primary tabs

Most recent publications

S. Krogdahl and O. Lysne

On Verification of Parallel Message-Passing Processes

Formal Aspects of Computing 13 (2002): 471-492.
Journal Article
2002
View

News

21 January 2021

Professor Olav Lysne awarded the Trust and Transparency Award

Simula in the media

08 April 2016

Samferdselsministeren åpnet nytt senter for datasikkerhet

Samferdselsminister Ketil Solvik-Olsen åpnet forskningssenteret Simula@UiB, ved Universitetet i Bergen. - Vi må ha tillit til datasystemer, derfor trenger vi kunnskap for å forebygge cyberkriminalitet, overvåkning og industrispionasje.
: 
Simula, Simula Research Laboratory
Samferdselsdepartementet

Find publication

Status

Departments

Publication type

Year published