• English
  • Deutsch
  • Log In
    Password Login
    or
  • Research Outputs
  • Projects
  • Researchers
  • Institutes
  • Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Abschlussarbeit
  4. Runtime verification of railway applications with extended live sequence charts
 
  • Details
  • Full
Options
2016
Doctoral Thesis
Titel

Runtime verification of railway applications with extended live sequence charts

ThesisNote
Berlin, Univ., Diss., 2015
Author(s)
Chai, Ming
Verlag
Shaker
Verlagsort
Aachen
Thumbnail Image
Language
English
google-scholar
Fraunhofer-Institut für Offene Kommunikationssysteme FOKUS
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Send Feedback
© 2022