TIMED

Results: 632



#Item
151

Equations on Timed Languages ? Eugene ASARIN Institute for Information Transmission Problems

Add to Reading List

Source URL: www.liafa.jussieu.fr

Language: English - Date: 2003-09-04 08:34:45
    152

    Model Checking of Finite-state Machine-based Scenario-aware Dataflow Using Timed Automata Mladen Skelin Department of Engineering Cybernetics, Norwegian University of Science and Technology

    Add to Reading List

    Source URL: people.cs.aau.dk

    Language: English - Date: 2015-08-24 06:49:38
      153

      Timed Events Thursday All Day Habitus Design Retreat, Sponsored by V-ZUG Cosy up with the latest issue of Habitus or complete your Indesign

      Add to Reading List

      Source URL: assets.indesign.com.au.s3.amazonaws.com

      Language: English - Date: 2015-07-28 21:54:55
        154

        NASA Formal Methods 2015 April 27th, 2015 Pasadena, CA, USA Reachability Preservation Based Parameter Synthesis for Timed Automata

        Add to Reading List

        Source URL: lipn.univ-paris13.fr

        Language: English - Date: 2015-04-27 11:02:53
          155

          Timed Multiparty Session Types ? Laura Bocchi, Weizhen Yang, and Nobuko Yoshida Imperial College London Abstract. We propose a typing theory, based on multiparty session types, for modular verification of real-time chore

          Add to Reading List

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

          Language: English - Date: 2014-05-06 04:45:18
            156

            Perfectly Timed Advertising

            Add to Reading List

            Source URL: smc.neuralcorrelate.com

            Language: English - Date: 2016-01-16 23:02:17
              157

              As Soon as Possible: Time Optimal Control for Timed Automata? Eugene Asarin1 and Oded Maler2 1 Institute for Information Transmission Problems, 19 Bol. Karetnyi per

              Add to Reading List

              Source URL: www.liafa.jussieu.fr

              Language: English - Date: 2003-09-04 08:34:47
                158

                Simple Priced Timed Games Are Not That Simple∗ Thomas Brihaye1 , Gilles Geeraerts2 , Axel Haddad1 , Engel Lefaucheux3 , and Benjamin Monmege4 1 2

                Add to Reading List

                Source URL: www.lsv.ens-cachan.fr

                Language: English - Date: 2015-10-02 14:25:07
                  159

                  Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca Luca Aceto1 Matteo Cimini1

                  Add to Reading List

                  Source URL: www.ru.is

                  Language: English - Date: 2011-06-14 10:22:46
                    160

                    Approximating Continuous Systems by Timed Automata⋆ Oded Maler1 and Gr´egory Batt2 1 Verimag-UJF-CNRS, 2 Av. de Vignate, 38610 Gi`eres, France

                    Add to Reading List

                    Source URL: www-verimag.imag.fr

                    Language: English - Date: 2008-03-27 12:58:06
                      UPDATE