C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Efficient verification of railway infrastructure designs against standard regulations.
Bjørnar Luteberget
Christian Johansen
Published in:
Formal Methods Syst. Des. (2018)
Keyphrases
</>
model checking
database
data mining
genetic algorithm
optimal solution
data structure
asynchronous circuits