Trace

Results: 4341



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

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
    72Mining for Safety using Interactive Trace Analysis Stephan Brandauer Tobias Wrigstad Uppsala University

    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
      73Trace-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

      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
        74COMMUNIQUÉ 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

        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
          75Static Trace-Based Deadlock Analysis for Synchronous Mini-Go Kai Stadtm¨ uller1 , Martin Sulzmann1 , and Peter Thiemann2 1

          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
            76Environmental 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

            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
              77Constructive Finite Trace Analysis with Linear Temporal Logic Martin Sulzmann and Axel Zechner Informatik Consulting Systems AG, Germany {martin.sulzmann,axel.zechner}@ics-ag.de

              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 лекарственных препаратов Этикетирование, маркировка, сериализация и

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

                Add to Reading List

                Source URL: www.medbusiness.ru

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