Εμφανίζονται 481 - 500 Αποτελέσματα από 739 για την αναζήτηση '"Formal Methods"', χρόνος αναζήτησης: 0,19δλ Περιορισμός αποτελεσμάτων
  1. 481
    Computer Safety, Reliability and Security 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- The Effectiveness of Statistical Testing when Applied to Logic Systems -- Formal Methods -- A Classification Scheme…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 482
    Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… formal method experience at secure computing corporation -- Formal methods in an industrial environment…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 483
    Types for Proofs and Programs Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Logic -- General Recursion in Type Theory -- Using Theory Morphisms for Implementing Formal Methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 484
    Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… the Behaviour of Process -- Education and Verification -- Using Alloy in Introductory Courses of Formal Methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 485
    A Brief History of Computing
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Engineering?- Early Software Engineering -- Software Engineering Mathematics -- Formal Methods -- Software…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 486
    Political Preferences and the Aging of Populations Political-Economy Explanations of Pension Reform /
    ανά Pamp, Oliver
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 487
    A logical Approach to Philosophy Essays in Honour of Graham Solomon /
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 488
    Multi-run Memory Tests for Pattern Sensitive Faults
    ανά Mrozek, Ireneusz, Mrozek, Ireneusz
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 489
    Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants -- Session 6…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 490
    Operational Semantics and Verification of Security Protocols
    ανά Cremers, Cas, Mauw, Sjouke
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 491
    Formal Correctness of Security Protocols With 62 Figures and 4 Tables /
    ανά Bella, Giampaolo
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 492
    Advances in Computational Intelligence 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part II /
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 493
    The Calculus of Computation Decision Procedures with Applications to Verification /
    ανά Bradley, Aaron R., Manna, Zohar
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 494
    Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 495
    Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings /
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 496
    Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Communicating Systems -- Ransomware Steals Your Phone. Formal Methods Rescue It -- Multiple Mutation Testing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 497
    Agent-Based Technologies and Applications for Enterprise Interoperability International Workshops, ATOP 2005 Utrecht, The Netherlands, July 25-26, 2005, and ATOP 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Objects -- Agent Interaction Modeling Based on Product-Centric Data: A Formal Method to Improve Enterprise…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 498
    Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Requirements -- Lightweight Formal Methods for Scenario-Based Software Engineering -- Pattern Synthesis from…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 499
    Semantics-Oriented Natural Language Processing Mathematical Models and Algorithms /
    ανά Fomichov A., Vladimir
    Έκδοση 2010
    Πίνακας περιεχομένων: “…-commerce -- II FormalMethods and Algorithms for the Design of Semantics-Oriented Linguistic Processors -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 500
    Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… -- The Practical Application of Formal Methods: Where Is the Benefit for Industry? -- Isolation Types and Multi…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email