Εμφανίζονται 421 - 440 Αποτελέσματα από 739 για την αναζήτηση '"Formal Methods"', χρόνος αναζήτησης: 0,72δλ Περιορισμός αποτελεσμάτων
  1. 421
    Computer Safety, Reliability and Security 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… for Microprocessor-Based Systems -- Structural Software Reliability Estimation -- Formal Methods and Security (Poster…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 422
    Mathematics of Program Construction 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Choice -- Formal Methods and Dependability -- Liberating Data Refinement -- Theorems about Composition…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 423
    Synergies Between Knowledge Engineering and Software Engineering
    Έκδοση 2018
    Πίνακας περιεχομένων: “… Refinement -- Using the Event-B Formal Method and the Rodin framework for Verification the Knowledge Base…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 424
    Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems /
    Έκδοση 2012
    Πίνακας περιεχομένων: “…Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 425
    Information Processing and Management of Uncertainty in Knowledge-Based Systems 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part I /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… -- Aggregation -- Formal methods for vagueness and uncertainty in a many-valued realm -- Graduality…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 426
    Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018, Selected Papers /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… - a Practitioner Perspective -- Formal Methods -- Enhanced Benchmark Datasets for a Comprehensive…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 427
    Information Processing and Management of Uncertainty in Knowledge-Based Systems 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part III /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… -- Aggregation -- Formal methods for vagueness and uncertainty in a many-valued realm -- Graduality…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 428
    Information Processing and Management of Uncertainty in Knowledge-Based Systems 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part II /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… -- Aggregation -- Formal methods for vagueness and uncertainty in a many-valued realm -- Graduality…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 429
    B'98: Recent Advances in the Development and Use of the B Method Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings /
    Έκδοση 1998
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 430
    Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 431
    A Roadmap for Formal Property Verification
    ανά DasGupta, Pallab
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 432
    Constructing Correct Software
    ανά Cooke, John
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 433
    Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings /
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 434
    New Data Structures and Algorithms for Logic Synthesis and Verification
    ανά Amaru, Luca Gaetano
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 435
    Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers /
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 436
    Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 437
    Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 438
    Software Engineering with Computational Intelligence
    Έκδοση 2003
    Πίνακας περιεχομένων: “…to Software Engineering with Computational Intelligence -- Fuzzy Concepts and Formal Methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 439
    Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… of an Automated Transport System -- Formal Methods for Highly Automated Driving Applications -- Trust, Resilience…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 440
    Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “…On the Utility of Formal Methods in the Development and Certification of Software -- Formal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email