SAT modulo discrete event simulation applied to railway design capacity analysis

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1572-8102
Extent
Online-Ressource
Language
Englisch
Notes
online resource.

Bibliographic citation
SAT modulo discrete event simulation applied to railway design capacity analysis ; day:31 ; month:3 ; year:2021 ; pages:1-35
Formal methods in system design ; (31.3.2021), 1-35

Creator
Luteberget, Bjørnar
Claessen, Koen
Johansen, Christian
Steffen, Martin
Contributor
SpringerLink (Online service)

DOI
10.1007/s10703-021-00368-2
URN
urn:nbn:de:101:1-2021051621281859857655
Rights
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
14.08.2025, 10:51 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

  • Luteberget, Bjørnar
  • Claessen, Koen
  • Johansen, Christian
  • Steffen, Martin
  • SpringerLink (Online service)

Other Objects (12)

3e módulo

Kapitel

3e módulo

2e módulo

Kapitel

2e módulo

Discrete element modelling of rockfill railway embankments

Discrete element modelling of rockfill railway embankments

A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic

A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic

1er módulo – Apuntes

Kapitel

1er módulo – Apuntes

2e módulo – Apuntes

Kapitel

2e módulo – Apuntes

Superposition modulo theory

Hochschulschrift

Superposition modulo theory

Interpolation modulo theories

Hochschulschrift

Interpolation modulo theories

Verification modulo theories

Verification modulo theories

Abstraction Modulo Stability

Abstraction Modulo Stability

Modulo te tuo metire.

Abschnitt

Modulo te tuo metire.

Beispiele zur Modulo-Rechnung

zweidimensionales bewegtes Bild

Beispiele zur Modulo-Rechnung

Related objects