• English
  • Deutsch
  • Log In
    or
  • Research Outputs
  • Projects
  • Researchers
  • Institutes
  • Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Konferenzschrift
  4. Safety in railway signalling data
 
  • Details
  • Full
Options
1993
Conference Paper
Titel

Safety in railway signalling data

Titel Supplements
A behavioural analysis
Author(s)
Morley, M.
Hauptwerk
Higher order logic theorem proving and its applications
Konferenz
User's Group Workshop "Higher Order Logic Theorem Proving and Its Applications" 1993
Thumbnail Image
DOI
10.1007/3-540-57826-9_156
Language
English
google-scholar
GMD
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Send Feedback
© 2022