Login / Signup
Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification.
Dilian Gurov
Reiner Hähnle
Eduard Kamburjan
Published in:
ISoLA (1) (2020)
Keyphrases
</>
community detection
computer vision
information systems
wide range
similarity measure
data structure
video sequences
control system
probabilistic model
formal analysis
functional verification
communities in social networks