Login / Signup

A Categorical Framework for Collaborative Design of Safety Critical Mechatronic Systems.

Nourhene AbdeljabbarFaïda MhenniJean-Yves Choley
Published in: ISSE (2021)
Keyphrases
  • safety critical
  • collaborative design
  • safety analysis
  • formal methods
  • expert systems
  • real time
  • learning algorithm
  • artificial intelligence
  • intelligent systems
  • knowledge based systems
  • embedded systems