Εμφανίζονται 521 - 540 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,12δλ Περιορισμός αποτελεσμάτων
  1. 521
    Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Application to Stepwise Refinement of Real-Time Systems -- Model Checking Probabilistic Distributed Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 522
    Foundations of Software Science and Computation Structures Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Ambients -- Model Checking Logics for Communicating Sequential Agents -- A Complete Coinductive Logical…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 523
    Verification: Theory and Practice Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday /
    Έκδοση 2003
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 524
    Performance Evaluation of Complex Systems: Techniques and Tools Performance 2002. Tutorial Lectures /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Language -- Automated Performance and Dependability Evaluation Using Model Checking -- Measurement-Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 525
    Database Programming Languages 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001. Revised Papers /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Containment over Semistructured Data -- Model-Checking Based Data Retrieval -- OLAP and Data Mining -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 526
    Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Transformations -- Model Checking Reconfigurable Petri Nets with Maude -- Tools and Algorithms -- A Software…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 527
    Lectures on Embedded Systems European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… -- Model checking timed automata -- On modeling real-time task systems -- A modular approach…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 528
    Engineering Distributed Objects Second International Workshop, EDO 2000 Davis, CA, USA, November 2-3, 2000 Revised Papers /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Model Checking to Detect Deadlocks in Distributed Object Systems -- Component Metadata for Software…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 529
    Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… of Mathematics -- A Science of Reasoning (Extended Abstract) -- Model Checking: Historical Perspective…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 530
    Generic Programming International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… in PVS Using Generic Development Steps -- Model Checking Generic Container Implementations -- Mizar…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 531
    Formal Techniques for Networked and Distributed Systems - FORTE 2004 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Management: A Backward Checking Approach -- Connectivity Testing Through Model-Checking -- Fault Propagation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 532
    Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Specifications -- Mutation-Based Test Generation for PLC Embedded Software Using Model Checking -- STIPI: Using…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 533
    Modelling and Management of Engineering Processes Proceedings of the 3rd International Conference 2013 /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… into the Development Process -- Optimal Scheduling of Stochastic Production Processes Through Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 534
    Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Dependencies for Bounded Model Checking -- Verification of Loop -- Parallelisations -- Model-Based Formal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 535
    Principles of Verifiable RTL Design A Functional Coding Style Supporting Verification Processes in Verilog /
    ανά Bening, Lionel, Foster, Harry
    Έκδοση 2000
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 536
    Verification and Control of Hybrid Systems A Symbolic Approach /
    ανά Tabuada, Paulo
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 537
    Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… of Teamworking Systems -- Towards Model Checking Stochastic Aspects of the thinkteam User Interface -- Incident…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 538
    Software Engineering Research, Management and Applications
    Έκδοση 2008
    Πίνακας περιεχομένων: “… System Curriculum for Undergraduate Software Engineering Program -- Model Checking for UML Use Cases.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 539
    Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Compositions through Probabilistic Model Checking -- Models and Prediction -- Model-Driven Performance Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 540
    Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… to Deduction-Based Formal Verification of Requirements Models -- Model Checking of Security-Critical…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email