Sign in

Runtime Verification of Component-Based Systems.

Yliès FalconeMohamad JaberThanh-Hung NguyenMarius BozgaSaddek Bensalem
Published in: SEFM (2011)
Keyphrases
  • database
  • computer vision
  • expert systems
  • distributed systems
  • information systems
  • knowledge based systems
  • bayesian networks
  • computer systems
  • building blocks
  • complex systems