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

An overview of the MOP runtime verification framework.

Patrick O'Neil MeredithDongyun JinDennis GriffithFeng ChenGrigore Rosu
Published in: Int. J. Softw. Tools Technol. Transf. (2012)
Keyphrases
  • neural network
  • information systems
  • main contribution
  • database
  • decision making
  • database systems
  • multi objective
  • framework enables