Εμφανίζονται 1 - 9 Αποτελέσματα από 9 για την αναζήτηση '"timed automaton"', χρόνος αναζήτησης: 0,09δλ Περιορισμός αποτελεσμάτων
  1. 1
    Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… for Locks: How Long Does It Usually Take? -- Microcontroller Assembly Synthesis from Timed Automaton Task…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Coding -- Playing Optimally on Timed Automata with Random Delays -- Dynamically-Driven Timed Automaton…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Formal Methods in Computer-Aided Design Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… Timed Automaton-Based Method for Accurate Computation of Circuit Delay in the Presence of Cross-Talk…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Hybrid Systems: Computation and Control 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… -- Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis -- Computation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Formal Techniques for Networked and Distributed Systems FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… into a Timed Automaton -- Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-time…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Implementation and Application of Automata 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Generalizing the Discrete Timed Automaton -- Factorization of Ambiguous Finite-State Transducers -- MONA…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… -- Timed Automata I -- Decidability of Safety Properties of Timed Multiset Rewriting -- Extending Timed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Advances in Computational Intelligence 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22-27, 2018, Proceedings, Part II /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… -- Readability Formula for Russian Texts: a Modified Version -- Timed automaton RVT-grammar for workflow…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email