Εμφανίζονται 161 - 180 Αποτελέσματα από 887 για την αναζήτηση '"model checking"', χρόνος αναζήτησης: 0,10δλ Περιορισμός αποτελεσμάτων
  1. 161
    Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Extension to the ?-Calculus -- Timed and Hybrid Automata -- Fuzzy-Timed Automata -- Model Checking of Hybrid…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 162
    Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Formal Method for Object-Oriented Systems -- Model Checking -- Verifying Distributed, Event-Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 163
    Transactions on Petri Nets and Other Models of Concurrency XI
    Έκδοση 2016
    Πίνακας περιεχομένων: “… -- MCC 2015- The Fifth Model Checking Contest -- Running LoLA 2.0 in a Model Checking Competition…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 164
    Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Interval Calculus to Simulink Diagrams -- Reducing Model Checking of the Few to the One -- Induction-Guided…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 165
    Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… of Gossip Communication in a Crowd-Sensing Scenario -- Models and Tools -- Probabilistic Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 166
    Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… and LTL Model Checking -- Real-Time Model Checking Is Really Simple -- Temporal Modalities for Concisely…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 167
    CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Checking of Rendezvous Systems -- On the Completeness of Bounded Model Checking for Threshold-Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 168
    Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Modeling and Specification -- Testing and Debugging -- Model Checking and Verification -- Algorithm…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 169
    Foundations of Health Informatics Engineering and Systems First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers /
    Έκδοση 2012
    Πίνακας περιεχομένων: “…Protocols for diagnosis and clinical trials -- modeling workflows -- model checking workflows…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 170
    Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…-Year Trajectory -- What’s in Common between Test, Model Checking, and Decision Procedures…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 171
    Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Communicating State Machines -- Modeling and Model Checking Software Product Lines -- Semantic Foundations…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 172
    CONCUR 2002 - Concurrency Theory 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… and Temporal Mu-Calculi -- Types for Cryptographic Protocols -- Verification, Model Checking -- Network…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 173
    Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Translation of ?-Calculus Terms -- Model Checking -- Handling Algebraic Properties in Automatic Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 174
    Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Probabilistic systems -- Synthesis -- Constraint solving -- Model checking -- Program analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 175
    Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Probabilistic systems -- Synthesis -- Constraint solving -- Model checking -- Program analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 176
    Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…, synthesis and transformation -- Program analysis, verification, and model-checking -- Logic, constraint…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 177
    ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…Formal techniques: B, ASM, Fiacre -- Kinds of verification -- Proof -- Model checking -- Test…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 178
    Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “…Advances in Markov models -- Advances in quantitative analysis -- Model checking -- Cyber-physical…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 179
    NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “…Model checking -- Applications of formal methods -- Complex systems -- Static analysis -- Symbolic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 180
    Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… -- Model Checking and Automata Learning -- Tool Papers -- Program Correctness -- Adaptive and Multi-Agent…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email