C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
SAT modulo discrete event simulation applied to railway design capacity analysis.
Bjørnar Luteberget
Koen Claessen
Christian Johansen
Martin Steffen
Published in:
Formal Methods Syst. Des. (2021)
Keyphrases
</>
discrete event simulation
user interface
case study
data analysis
knowledge base
np complete
document retrieval
semiconductor manufacturing