Track Report for Formal Verification of Service Based Systems: FVSBS 2016.

Mohamed Graiet Kais Klai

Published in: WETICE (2016)

Keyphrases

formal verification
automated verification
model checking
management system
artificial intelligence
service systems
distributed systems
complex systems
retrieval systems
computing environments
state space
computer systems
service providers