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

      Formal Analysis of Log Files

      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 references24

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

          The temporal logic of programs

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

            On the Synthesis of Finite-State Machines from Samples of Their Behavior

              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              Rule-Based Runtime Verification

                Bookmark

                Author and article information

                Journal
                Journal of Aerospace Computing, Information, and Communication
                Journal of Aerospace Computing, Information, and Communication
                American Institute of Aeronautics and Astronautics (AIAA)
                1542-9423
                November 2010
                November 2010
                : 7
                : 11
                : 365-390
                Affiliations
                [1 ]University of Manchester, Manchester, UK
                [2 ]Oregon State University, Corvallis, Oregon
                [3 ]Jet Propulsion Laboratory, California Institute of Technology, Pasadena
                Article
                10.2514/1.49356
                1847dee7-eb09-488d-9bf8-f49cd192951c
                © 2010
                History

                Comments

                Comment on this article