Track Report of Formal Verification of Service Based Systems (FVSBS 2014).

Mohamed Graiet Zied Jaoua Kais Klai

Published in: WETICE (2014)

Keyphrases

formal verification
automated verification
management system
model checking
expert systems
petri net
service oriented
distributed systems
context aware
computing environments
service systems