TIMED

Results: 632



#Item
21Timed automata A determinization procedure The abstract procedure applied

Timed automata A determinization procedure The abstract procedure applied

Add to Reading List

Source URL: people.rennes.inria.fr

Language: English - Date: 2012-09-28 09:53:23
    22Formal Methods in System Design manuscript No. (will be inserted by the editor) A Game Approach to Determinize Timed Automata Nathalie Bertrand · Am´ elie Stainer ·

    Formal Methods in System Design manuscript No. (will be inserted by the editor) A Game Approach to Determinize Timed Automata Nathalie Bertrand · Am´ elie Stainer ·

    Add to Reading List

    Source URL: people.rennes.inria.fr

    Language: English - Date: 2015-10-26 09:37:06
      23Article Precisely Timed Nicotinic Activation Drives SST Inhibition in Neocortical Circuits Highlights d

      Article Precisely Timed Nicotinic Activation Drives SST Inhibition in Neocortical Circuits Highlights d

      Add to Reading List

      Source URL: www.bio.cmu.edu

      Language: English - Date: 2018-02-08 09:38:39
        24IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 26, NO. 7, JULYSynthesis of Timed Circuits Based on Decomposition Tomohiro Yoneda, Member, IEEE, and Chris J. Myers, Senior Mem

        IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 26, NO. 7, JULYSynthesis of Timed Circuits Based on Decomposition Tomohiro Yoneda, Member, IEEE, and Chris J. Myers, Senior Mem

        Add to Reading List

        Source URL: www.async.ece.utah.edu

        Language: English - Date: 2015-11-04 17:38:55
          25LNCSTransient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes

          LNCSTransient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes

          Add to Reading List

          Source URL: people.rennes.inria.fr

          Language: English - Date: 2013-09-13 09:23:19
            26Livrablemeasuring robustness with probabilities Pierre-Alain Reynier1 Aix-Marseille Universit´e, LIF, France Abstract. Solving games played on timed automata is a well-known

            Livrablemeasuring robustness with probabilities Pierre-Alain Reynier1 Aix-Marseille Universit´e, LIF, France Abstract. Solving games played on timed automata is a well-known

            Add to Reading List

            Source URL: anr-impro.irccyn.ec-nantes.fr

            Language: English - Date: 2015-11-09 03:32:20
              27Playing optimally on Timed Automata with Random Delays Nathalie Bertrand and Sven Schewe Inria Rennes - University of Liverpool Formats 2012

              Playing optimally on Timed Automata with Random Delays Nathalie Bertrand and Sven Schewe Inria Rennes - University of Liverpool Formats 2012

              Add to Reading List

              Source URL: people.rennes.inria.fr

              Language: English - Date: 2012-09-28 09:53:21
                28Symbolic Unfoldings For Networks of Timed Automata Franck Cassez1⋆ , Thomas Chatain2 and Claude Jard3 1 2 3

                Symbolic Unfoldings For Networks of Timed Automata Franck Cassez1⋆ , Thomas Chatain2 and Claude Jard3 1 2 3

                Add to Reading List

                Source URL: pagesperso.lina.univ-nantes.fr

                Language: English - Date: 2013-07-03 04:01:35
                  29

                  Name: Date: Timed Test: 3 minutes Subtraction Facts 7-10 Mrs. Perkins 10 - 2 8

                  Add to Reading List

                  Source URL: www.mrsperkins.com

                  Language: English - Date: 2008-06-23 14:03:53
                    30On Decidability of Prebisimulation for Timed Automata Shibashis Guha, Chinmay Narayan, S. Arun-Kumar Department of Computer Science and Engineering, Indian Institute of Technology, Delhi.

                    On Decidability of Prebisimulation for Timed Automata Shibashis Guha, Chinmay Narayan, S. Arun-Kumar Department of Computer Science and Engineering, Indian Institute of Technology, Delhi.

                    Add to Reading List

                    Source URL: www.cse.iitd.ernet.in

                    Language: English - Date: 2012-05-21 15:23:00