TIMED

Results: 632



#Item
171Towards Translating FSM-SADF to Timed Automata Mladen Skelin Department of Engineering Cybernetics, Norwegian University of Science and Technology

Towards Translating FSM-SADF to 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:36:06
    172ICTAC ’09 IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata ´

    ICTAC ’09 IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata ´

    Add to Reading List

    Source URL: lipn.univ-paris13.fr

    Language: English - Date: 2010-12-09 19:29:08
      173Formal Methods in System Design manuscript No. (will be inserted by the editor) An Extension of the Inverse Method to Probabilistic Timed Automata ´

      Formal Methods in System Design manuscript No. (will be inserted by the editor) An Extension of the Inverse Method to Probabilistic Timed Automata ´

      Add to Reading List

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

      Language: English - Date: 2012-08-01 09:09:03
        174Timed Pattern Matching Dogan Ulus1 , Thomas Ferrère1 , Eugene Asarin2 , and Oded Maler1 1 VERIMAG, CNRS and the University of Grenoble-Alpes, France 2

        Timed Pattern Matching Dogan Ulus1 , Thomas Ferrère1 , Eugene Asarin2 , and Oded Maler1 1 VERIMAG, CNRS and the University of Grenoble-Alpes, France 2

        Add to Reading List

        Source URL: www-verimag.imag.fr

        Language: English - Date: 2014-08-13 13:30:36
          1754th Workshop on Reachability Problems Brno 28th August 2010 Behavioral Cartography of Timed Automata

          4th Workshop on Reachability Problems Brno 28th August 2010 Behavioral Cartography of Timed Automata

          Add to Reading List

          Source URL: lipn.univ-paris13.fr

          Language: English - Date: 2010-12-09 19:29:08
            176Timed and Hybrid SystemsOded Maler CNRS - VERIMAG Grenoble, France

            Timed and Hybrid SystemsOded Maler CNRS - VERIMAG Grenoble, France

            Add to Reading List

            Source URL: www-verimag.imag.fr

            Language: English - Date: 2014-10-31 12:55:45
              177Under consideration for publication in Math. Struct. in Comp. Science Relating timed and register automata† D I E G O F I G U E I R A1,2,3‡ , P I O T R H O F M A N3 and S L A W O M I R L A S O T A3 1 2

              Under consideration for publication in Math. Struct. in Comp. Science Relating timed and register automata† D I E G O F I G U E I R A1,2,3‡ , P I O T R H O F M A N3 and S L A W O M I R L A S O T A3 1 2

              Add to Reading List

              Source URL: www.mimuw.edu.pl

              Language: English - Date: 2014-04-01 07:46:03
                178Timed Multiparty Session Types? Laura Bocchi, Weizhen Yang, and Nobuko Yoshida Imperial College London, London, UK Abstract. We propose a typing theory, based on multiparty session types, for modular verification of real

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

                Add to Reading List

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

                Language: English - Date: 2016-02-15 15:33:44
                  179STARTING IN THE MIDDLE: CHANGE IS ALWAYS ALREADY HAPPENING Sandra Kacher, MSW, LICSW Got Resolutions? We have timed this newsletter to give everyone a chance to set, begin, and lose motivation for 2013’s New Year’s r

                  STARTING IN THE MIDDLE: CHANGE IS ALWAYS ALREADY HAPPENING Sandra Kacher, MSW, LICSW Got Resolutions? We have timed this newsletter to give everyone a chance to set, begin, and lose motivation for 2013’s New Year’s r

                  Add to Reading List

                  Source URL: www.partnersinresilience.com

                  Language: English - Date: 2013-01-21 11:52:14
                    180Timed Regular Expressions Eugene Asarin Paul Caspi Oded Maler∗

                    Timed Regular Expressions Eugene Asarin Paul Caspi Oded Maler∗

                    Add to Reading List

                    Source URL: www.liafa.jussieu.fr

                    Language: English - Date: 2003-09-04 08:34:48