Login / Signup
A verification and deployment approach for elastic component-based applications.
Mohamed Graiet
Lazhar Hamel
Amel Mammar
Samir Tata
Published in:
Formal Aspects Comput. (2017)
Keyphrases
</>
model checking
data sets
face verification
formal verification
concurrent systems
database
signature verification
databases
search engine
decision making
case study
similarity measure
formal methods
formal analysis
elastic matching