Εμφανίζονται 301 - 320 Αποτελέσματα από 739 για την αναζήτηση '"Formal Methods"', χρόνος αναζήτησης: 0,11δλ Περιορισμός αποτελεσμάτων
  1. 301
    A Practical Approach to Software Quality
    ανά O’Regan, Gerard
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Techniques -- 6.7 Summary -- 7 Formal Methods and Design -- 7.1 Introduction -- 7.2 Software Configuration…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 302
    Engineering Secure Software and Systems 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “…Formal methods -- Cloud passwords -- Machine learning -- Measurements ontologies -- Access control.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 303
    Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…Formal methods -- Uses of ada -- Real-time scheduling -- Applications.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 304
    Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… modeling --  Parametric verification -- Machine learning and formal methods -- Tools.  .…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 305
    Security Standardisation Research First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… -- Analysis with formal methods -- Potential future areas of standardisation.- Improving existing standards.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 306
    Computer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “…Tools -- Risk Analysis -- Testing -- Quantitative Analysis -- Security -- Formal Methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 307
    Tools and Algorithms for the Construction and Analysis of Systems 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… -- Software and Formal Methods Tools -- An Extensible Type System for Component-Based Design -- Proof General…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 308
    Enterprise and Organizational Modeling and Simulation 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3-4, 2019, Selected Papers /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…Conceptual Modelling -- Enterprise Engineering -- Formal Methods -- Invited Workshop Notes.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 309
    Advances in Computing 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… -- Formal methods, computational logic and theory of computation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 310
    ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 311
    Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…Design -- Simulation -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 312
    Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…Design -- Simulation and Tools -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 313
    Introduction to Formal Philosophy
    Έκδοση 2018
    Πίνακας περιεχομένων: “…. Proof theory (Jeremy Avigad) -- Chapter 9. Formal methods and the history of philosophy (Catarina Dutilh…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 314
    Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Explanation -- Why Proof Planning for Maths Education and How? -- Formal Methods and Security -- Towards…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 315
    Stabilization, Safety, and Security of Distributed Systems 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… agents -- System security in distributed computing -- Formal methods and distributed algorithms.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 316
    Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers /
    Έκδοση 2015
    Πίνακας περιεχομένων: “…Programming frameworks -- Languages, models and abstractions for MAS -- Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 317
    Computer Security - ESORICS 2014 19th European Symposium on Research in Computer Security, Wroclaw, Poland, September 7-11, 2014. Proceedings, Part I /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…Cryptography, formal methods and theory of security -- Security services -- Intrusion/anomaly…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 318
    Computer Security - ESORICS 2014 19th European Symposium on Research in Computer Security, Wroclaw, Poland, September 7-11, 2014. Proceedings, Part II /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…Cryptography, formal methods and theory of security -- Security services -- Intrusion/anomaly…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 319
    Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 – October 1, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…-tolerant and dependable systems -- Formal methods -- Safety, security and cloud computing -- P2P -- Self…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 320
    Model and Data Engineering 7th International Conference, MEDI 2017, Barcelona, Spain, October 4–6, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “…Domain specific languages -- Systems and software assessments -- Modeling and formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email