Εμφανίζονται 221 - 240 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,11δλ Περιορισμός αποτελεσμάτων
  1. 221
    Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… -- Verification -- Logic -- Continuation and Model Checking.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 222
    Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… distance -- Homing sequences -- Implementation -- Minimization of automata -- Model checking -- Parsing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 223
    Foundations of Software Technology and Theoretical Computer Science 18th Conference, Chennai, India, December 17-19, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “…Invited Talk 1 -- Descriptive Complexity and Model Checking -- Session 1(a) -- Approximation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 224
    CONCUR'97: Concurrency Theory 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… to model-checking -- Synthesis of nets with inhibitor arcs -- An algebraic theory of multiple clocks…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 225
    Static Analysis 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… for Abstract Model Checking -- Making Abstract Model Checking Strongly Preserving -- Semantics for Abstract…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 226
    Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Software Systems -- Formal Methods and Model Checking -- Synthesis of Connectors from Scenario-Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 227
    Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… and Model Checking -- Operational Semantics for Fun and Profit -- On Model Checking Data-Independent Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 228
    Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Applications -- Timed Models and Model Checking -- A Framework for Relating Timed Transition Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 229
    Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… in Real-Time Systems: A Formal Approach -- Test Development with Model Checking Techniques -- Using Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 230
    Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Skeletons from xUML Models -- Bounded Model Checking for Partial Kripke Structures -- Verification of Linear…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 231
    Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 232
    Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… animation of Turing Machines -- Towards completeness in Bounded Model Checking through Automatic Recursion…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 233
    Logic for Concurrency and Synchronisation
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Introduction to Symbolic Model Checking -- Modal Logics for Finite Graphs -- Bisimulation and Language…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 234
    Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude /
    ανά Ölveczky, Peter Csaba
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 235
    Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers /
    Έκδοση 2018
    Πίνακας περιεχομένων: “…Animation and prototyping -- Graph theory -- Model checking -- Modeling and specification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 236
    Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… -- Improved Net Reductions for LTL-X Model-Checking -- Formalizing and Implementing Types in MSVL -- Present…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 237
    Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures /
    Έκδοση 2012
    Πίνακας περιεχομένων: “…Model Checking and the State Explosion Problem -- From Program to Logic: An Introduction…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 238
    Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “…Specification -- Concurrency -- Program analysis -- Model checking and runtime verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 239
    Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…On Model Checking Techniques for Randomized Distributed Systems -- Collaborative Modelling and Co…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 240
    Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… System by Model-Checking -- Deadlock Avoidance in Train Scheduling: A Model Checking Approach -- An Open…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email