Login / Signup

Symbolic model checking composite Web services using operational and control behaviors.

Jamal BentaharHamdi YahyaouiMelissa KovaZakaria Maamar
Published in: Expert Syst. Appl. (2013)
Keyphrases
  • symbolic model checking
  • model checking
  • partial observability
  • formal verification
  • real time
  • control system
  • orders of magnitude
  • modeling language