Sign in

Verification of Solid State Interlocking Programs.

Phillip JamesAndy LawrenceFaron MollerMarkus RoggenbachMonika SeisenbergerAnton SetzerKarim KansoSimon Chadwick
Published in: SEFM Workshops (2013)
Keyphrases
  • solid state
  • random access
  • disk drives
  • flash memory
  • metal oxide
  • computer vision
  • image processing
  • edge detection
  • buffer pool
  • real time
  • databases
  • multi dimensional
  • image sensor
  • hard disk drive