Trace

Results: 4341



#Item
71

Logical Characterization of Trace Metrics Valentina Castiglioni Simone Tini University of Insubria (IT)

Add to Reading List

Source URL: qapl17.doc.ic.ac.uk

- Date: 2017-04-20 09:16:43
    72

    Mining for Safety using Interactive Trace Analysis Stephan Brandauer Tobias Wrigstad Uppsala University

    Add to Reading List

    Source URL: qapl17.doc.ic.ac.uk

    - Date: 2017-04-20 09:16:43
      73

      Trace-Based Run-Time Analysis of Message-Passing Go Programs Martin Sulzmann and Kai Stadtm¨ uller Faculty of Computer Science and Business Information Systems Karlsruhe University of Applied Sciences

      Add to Reading List

      Source URL: www.home.hs-karlsruhe.de

      - Date: 2017-09-25 07:27:31
        74

        COMMUNIQUÉ DE PRESSE MARDI 17 OCTOBRE 2017 « L’UN DES MOMENTS LES PLUS FORTS DU TOUR 2018» Alain CADEC, président du Département des Côtes d’Armor et député européen, réagit à la présentation du tracé d

        Add to Reading List

        Source URL: cotesdarmor.fr

        - Date: 2017-10-17 06:47:44
          75

          Static Trace-Based Deadlock Analysis for Synchronous Mini-Go Kai Stadtm¨ uller1 , Martin Sulzmann1 , and Peter Thiemann2 1

          Add to Reading List

          Source URL: www.home.hs-karlsruhe.de

          - Date: 2017-12-12 07:07:41
            76

            Environmental Policy Statement TRACE International Inc. is committed to protecting natural resources, promoting environmental stewardship, and implementing sustainable business practices. While somewhat limited in the a

            Add to Reading List

            Source URL: www.traceinternational.org

            - Date: 2016-09-19 15:10:33
              77

              Constructive Finite Trace Analysis with Linear Temporal Logic Martin Sulzmann and Axel Zechner Informatik Consulting Systems AG, Germany {martin.sulzmann,axel.zechner}@ics-ag.de

              Add to Reading List

              Source URL: www.home.hs-karlsruhe.de

              - Date: 2013-03-29 18:22:29
                78

                Этикетирование, маркировка, сериализация и track&trace лекарственных препаратов Этикетирование, маркировка, сериализация и

                Add to Reading List

                Source URL: www.medbusiness.ru

                - Date: 2017-09-21 09:33:10
                  UPDATE