Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-1 av 1

1 Luteberget, Bjørnar Steinnes; Johansen, Christian.
Efficient verification of railway infrastructure designs against standard regulations. Formal methods in system design 2017 ;Volum 52.(1) s. 1-32
UiO Untitled