Cristin-resultat-ID: 1923018
Sist endret: 18. januar 2022, 18:08
NVI-rapporteringsår: 2021
Resultat
Vitenskapelig artikkel
2021

SAT modulo discrete event simulation applied to railway design capacity analysis

Bidragsytere:
  • Bjørnar Steinnes Luteberget
  • Koen Claessen
  • Christian Johansen og
  • Martin Steffen

Tidsskrift

Formal methods in system design
ISSN 0925-9856
e-ISSN 1572-8102
NVI-nivå 2

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2021
Publisert online: 2021
Volum: 57
Sider: 211 - 245

Importkilder

Scopus-ID: 2-s2.0-85103403439

Beskrivelse Beskrivelse

Tittel

SAT modulo discrete event simulation applied to railway design capacity analysis

Bidragsytere

Bjørnar Luteberget

Bidragsyterens navn vises på dette resultatet som Bjørnar Steinnes Luteberget
  • Tilknyttet:
    Forfatter
    ved Mathematics and Cybernetics ved SINTEF AS

Koen Claessen

  • Tilknyttet:
    Forfatter
    ved Chalmers tekniska högskola

Christian Johansen

  • Tilknyttet:
    Forfatter
    ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
Aktiv cristin-person

Martin Steffen

  • Tilknyttet:
    Forfatter
    ved Institutt for informatikk ved Universitetet i Oslo
1 - 4 av 4