• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Compositional Monitoring Framework for Hard Real-Time Systems.

André de Matos PedroDavid PereiraLuís Miguel PinhoJorge Sousa Pinto
Published in: NASA Formal Methods (2014)
Keyphrases
  • conceptual framework
  • database
  • artificial intelligence
  • real time
  • main contribution
  • data mining
  • learning algorithm
  • computer vision
  • multimedia
  • expert systems
  • lightweight
  • monitoring system
  • bayesian framework