Εμφανίζονται 561 - 580 Αποτελέσματα από 739 για την αναζήτηση '"Formal Methods"', χρόνος αναζήτησης: 0,11δλ Περιορισμός αποτελεσμάτων
  1. 561
    Logical Aspects of Computational Linguistics 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005. Proceedings /
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 562
    Model and Data Engineering 9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019, Proceedings /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 563
    Refinement in Z and Object-Z Foundations and Advanced Applications /
    ανά Derrick, John, Boiten, Eerke A.
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 564
    978-3-030-99527-0.pdf
    Έκδοση 2022
    Λήψη πλήρους κειμένου
  5. 565
    9783030715007.pdf
    Έκδοση 2021
    Λήψη πλήρους κειμένου
  6. 566
    978-3-030-99429-7.pdf
    Έκδοση 2022
    Λήψη πλήρους κειμένου
  7. 567
    Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers /
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 568
    Advances on Computational Intelligence 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012. Proceedings, Part I /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 569
    Advances in Computational Intelligence 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012. Proceedings, Part II /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 570
    Advances in Computational Intelligence 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012, Proceedings, Part III /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 571
    Advances in Computational Intelligence 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012, Proceedings, Part IV /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 572
    From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings /
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 573
    Εφαρμογές της λογικής στην πληροφορική
    “… δωθεί στις τυπικές μεθόδους λογισμικού (formal methods) που αποτελούν χαρακτηριστικό <br/>παράδειγμα…”
    Λήψη πλήρους κειμένου
    Λήψη πλήρους κειμένου
    1
  14. 574
    Theorem Proving in Higher Order Logics 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… for Translating Linear Time Temporal Logic to ?-Automata -- From I/O Automata to Timed I/O Automata -- Formal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 575
    Informatics 10 Years Back. 10 Years Ahead /
    ανά Wilhelm, Reinhard, Wilhelm, Reinhard
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Orientations in Verification Engineering of Avionics Software -- Abstract Interpretation Based Formal Methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 576
    New Directions in the Philosophy of Science
    Έκδοση 2014
    Πίνακας περιεχομένων: “…Preface: Maria Carla Galavotti -- TEAM A: FORMAL METHODS -- Chapter 1: Things in Possible…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 577
    Languages, Compilers, and Tools for Embedded Systems ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “…Formal Methods and Databases -- Randomization-Based Approaches for Dynamic Priority Scheduling…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 578
    Correct System Design Recent Insights and Advances /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Software for Programmable Logic Controllers -- Formal Methods for the International Space Station ISS…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 579
    Theoretical and Practical Aspects of SPIN Model Checking 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- II: Papers Presented at 6thSPIN99 -- Formal Methods Adoption: What's Working, What's Not! -- Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 580
    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… of Requirement Specifications: A V-Model for Building Formal Methods -- Static Verification of Railway Scheme…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email