Cristin-resultat-ID: 1532362
Sist endret: 3. april 2018, 14:33
NVI-rapporteringsår: 2017
Resultat
Vitenskapelig artikkel
2017

Participatory verification of railway infrastructure by representing regulations in RailCNL

Bidragsytere:
  • Bjørnar Steinnes Luteberget
  • John J. Camilleri
  • Christian Johansen og
  • Gerardo Schneider

Tidsskrift

Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2017
Volum: 10469 LNCS
Sider: 87 - 103
Open Access

Importkilder

Scopus-ID: 2-s2.0-85028971893

Beskrivelse Beskrivelse

Tittel

Participatory verification of railway infrastructure by representing regulations in RailCNL

Bidragsytere

Bjørnar Luteberget

Bidragsyterens navn vises på dette resultatet som Bjørnar Steinnes Luteberget
  • Tilknyttet:
    Forfatter
    ved Diverse norske bedrifter og organisasjoner

John J. Camilleri

  • Tilknyttet:
    Forfatter
    ved Göteborgs universitet
  • Tilknyttet:
    Forfatter
    ved Chalmers tekniska högskola

Christian Johansen

  • Tilknyttet:
    Forfatter
    ved Pålitelige systemer ved Universitetet i Oslo

Gerardo Schneider

  • Tilknyttet:
    Forfatter
    ved Göteborgs universitet
  • Tilknyttet:
    Forfatter
    ved Chalmers tekniska högskola
1 - 4 av 4