Login / Signup

Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems.

Vincent DavidJean DelcoigneEvelyne LeretAlain OurghanlianPhilippe HilsenkopfPhilippe Paris
Published in: SAFECOMP (1998)
Keyphrases
  • real time systems
  • safety critical
  • safety analysis
  • case study
  • low cost
  • machine learning
  • computational intelligence
  • medical images
  • embedded systems