TIMED

Results: 632



#Item
161Appears 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

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
    162Timed Systems: The Unmet Challenge Oded Maler CNRS - VERIMAG Grenoble, France

    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
      163State Equation for Interval-Timed Petri Nets Louchka Popova-Zeugmann1 and Elisabeth Pelz2 1 Department of Computer Science, Humboldt University, Berlin, Germany

      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
        164Using Timed Petri Nets to Model Spatial-temporal Group Scheduling Problems

        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
          165Simple Priced Timed Games Are Not That Simple∗ Thomas Brihaye1 , Gilles Geeraerts2 , Axel Haddad1 , Engel Lefaucheux3 , and Benjamin Monmege4 1 2

          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
            166Timed Runtime Monitoring for Multiparty Conversations Rumyana Neykova Laura Bocchi Nobuko Yoshida

            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
              167Modeling 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

              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
                168FSFMA 2013 16th July 2013 Singapore Dynamic Clock Elimination in Parametric Timed Automata

                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
                  169ATVA 2013 18th October 2013 Hà Nội, Việt Nam Merge and Conquer State Merging in Parametric Timed Automata

                  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
                    170From Timed to Hybrid Systems Oded Maler inria/irisay Zohar Manna

                    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