Login / Signup

A Model-based Approach for the Modeling and the Verification of Railway Signaling System.

Racem BougachaAbderrahim Ait WakrimeSlim KallelRahma Ben AyedSimon Collart Dutilleul
Published in: ENASE (2019)
Keyphrases
  • databases
  • real time
  • real world
  • genetic algorithm
  • website
  • model checking
  • face verification