22
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      Rule-based runtime verification revisited

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references41

          • Record: found
          • Abstract: not found
          • Conference Proceedings: not found

          The temporal logic of programs

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Rete: A fast algorithm for the many pattern/many object pattern match problem

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              A brief account of runtime verification

                Bookmark

                Author and article information

                Journal
                International Journal on Software Tools for Technology Transfer
                Int J Softw Tools Technol Transfer
                Springer Science and Business Media LLC
                1433-2779
                1433-2787
                April 2015
                April 13 2014
                April 2015
                : 17
                : 2
                : 143-170
                Article
                10.1007/s10009-014-0309-2
                7eb133c7-a3ed-43e9-8a99-67a8e3cf57ab
                © 2015

                http://www.springer.com/tdm

                History

                Comments

                Comment on this article