A Quantitative Approach on Assume-Guarantee Contracts for Safety of Interconnected Systems.

Alina Eqtami Antoine Girard

Published in: ECC (2019)

Keyphrases

database
management system
distributed systems
neural network
intelligent systems
databases
real world
information systems
expert systems
computer systems
knowledge based systems
complex systems
qualitative and quantitative
safety critical