Login / Signup
From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET.
Anastasia Mavridou
Andreas Katis
Dimitra Giannakopoulou
David Kooi
Thomas Pressburger
Michael W. Whalen
Published in:
FM (2021)
Keyphrases
</>
data analysis
data sets
computer vision
case study
statistical analysis
quantitative analysis
database
machine learning
artificial intelligence
multi agent
wide range
computer science
image analysis
automatic analysis