Login / Signup

Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations.

David GeleßusSebastian StockFabian VuMichael LeuschelAtif Mashkoor
Published in: ABZ (2023)
Keyphrases
  • safety critical
  • safety analysis
  • statistical analysis
  • data analysis
  • machine learning
  • management system
  • learning systems
  • formal methods