Login / Signup
A Categorical Framework for Collaborative Design of Safety Critical Mechatronic Systems.
Nourhene Abdeljabbar
Faïda Mhenni
Jean-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