Login / Signup

Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products.

Carmen CârlanDaniel PetrisorBarbara GallinaHannes Schoenhaar
Published in: ISSRE Workshops (2020)
Keyphrases
  • consistency checks
  • hidden markov models
  • data driven
  • fully automated
  • real time
  • databases
  • test cases
  • semi automated
  • product line
  • nuclear power plant
  • road safety
  • civil aviation