Εμφανίζονται 601 - 620 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,12δλ Περιορισμός αποτελεσμάτων
  1. 601
    FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- On Decidability of LTL Model Checking for Process Rewrite Systems -- Monitoring of Real-Time Properties -- A Proof…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 602
    Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Partial Derivative -- TAGED Approximations for Temporal Properties Model-Checking -- Verifying Parallel…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 603
    Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Terms and Normal Forms -- A Reversible Semantics for Erlang -- Scaling Bounded Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 604
    Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 605
    Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Methods -- Techniques for Merging Views of Software Processes -- Embedded Systems Engineering -- Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 606
    Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Environment -- Model Checking of CTL-Extended OCL Specifications -- Unifying and Generalizing Relations…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 607
    Software Engineering for Multi-Agent Systems III Research Issues and Practical Applications /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 608
    Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 609
    Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 610
    Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… and Migration -- A Model Checking Approach for Verifying COWS Specifications -- Verification and Testing II…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 611
    Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23–24, 2006, Santiago, Chile /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Model Checking -- Completing Categorical Algebras -- Reusing Optimal TSP Solutions for Locally Modified…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 612
    Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… System in 3G Networks -- Applying Model Checking to Generate Model-Based Integration Tests from…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 613
    Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…Speeding Up Simulation of SystemC Using Model Checking -- Partial Behaviour Modelling: Foundations…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 614
    Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…Probabilistic Model Checking and Non-standard Multi-objective Reasoning -- Target Oriented…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 615
    Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… for Nominal Exceptions -- Complexity of Model-Checking Call-by-Value Programs -- Resource Reachability Games…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 616
    Transactions on Petri Nets and Other Models of Concurrency IX
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 617
    Information Reuse and Integration in Academia and Industry
    Έκδοση 2013
    Πίνακας περιεχομένων: “… and Modified Mellin-Fourier Transform -- Model Checking State Machines Using Object Diagrams -- Measuring…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 618
    Dual Tableaux: Foundations, Methodology, Case Studies
    ανά Orlowska, Ewa, Golińska Pilarek, Joanna
    Έκδοση 2011
    Πίνακας περιεχομένων: “… Algebras of Binary -- 3. Theories of Point Relations and Relational Model Checking -- 4. Dual Tableaux…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 619
    Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 620
    Formal Methods for Components and Objects Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Analysis for Model Checking Timed Systems -- Priority Systems -- Preserving Properties under Change…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email