TIMED

Results: 632



#Item
161

Appears in ProcHybrid Systems: Computation and Control Workshop March, 2002 Exploiting Implicit Representations in Timed Automaton Veri cation for Controller Synthesis Robert P. Goldman, David J. Musliner, Michael

Add to Reading List

Source URL: musliner.com

Language: English - Date: 2008-12-19 05:47:49
    162

    Timed Systems: The Unmet Challenge Oded Maler CNRS - VERIMAG Grenoble, France

    Add to Reading List

    Source URL: www-verimag.imag.fr

    Language: English - Date: 2014-04-10 03:56:04
      163

      State Equation for Interval-Timed Petri Nets Louchka Popova-Zeugmann1 and Elisabeth Pelz2 1 Department of Computer Science, Humboldt University, Berlin, Germany

      Add to Reading List

      Source URL: csp2011.mimuw.edu.pl

      Language: English - Date: 2011-09-01 11:05:26
        164

        Using Timed Petri Nets to Model Spatial-temporal Group Scheduling Problems

        Add to Reading List

        Source URL: csp2011.mimuw.edu.pl

        Language: English - Date: 2011-09-01 11:05:13
          165

          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-03 15:28:57
            166

            Timed Runtime Monitoring for Multiparty Conversations Rumyana Neykova Laura Bocchi Nobuko Yoshida

            Add to Reading List

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

            Language: English - Date: 2016-02-15 15:33:44
              167

              Modeling and Verifying Hierarchical Real-time Systems using Stateful Timed CSP1 Jun Sun, Yang Liu Singapore University of Technology and Design ´ Jin Song Dong, Yan Liu, Ling Shi and Etienne

              Add to Reading List

              Source URL: www.comp.nus.edu.sg

              Language: English - Date: 2011-05-04 10:00:40
                168

                FSFMA 2013 16th July 2013 Singapore Dynamic Clock Elimination in Parametric Timed Automata

                Add to Reading List

                Source URL: lipn.univ-paris13.fr

                Language: English - Date: 2013-07-15 23:36:14
                  169

                  ATVA 2013 18th October 2013 Hà Nội, Việt Nam Merge and Conquer State Merging in Parametric Timed Automata

                  Add to Reading List

                  Source URL: lipn.univ-paris13.fr

                  Language: English - Date: 2013-10-18 04:32:56
                    170

                    From Timed to Hybrid Systems Oded Maler inria/irisay Zohar Manna

                    Add to Reading List

                    Source URL: www-verimag.imag.fr

                    Language: English - Date: 2006-04-28 14:47:12
                      UPDATE