Εμφανίζονται 221 - 240 Αποτελέσματα από 739 για την αναζήτηση '"Formal Methods"', χρόνος αναζήτησης: 0,11δλ Περιορισμός αποτελεσμάτων
  1. 221
    Proceedings of the 2018 Workshop on IoT Security and Privacy
    Έκδοση 2018
    Θέματα: “…Formal methods and theory of security…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 222
    Proceedings of the 2017 Workshop on Automated Decision Making for Active Cyber Defense
    Έκδοση 2017
    Θέματα: “…Formal methods and theory of security…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 223
    Proceedings of the 6th Conference on Formal Methods in Software Engineering
    Έκδοση 2018
    Θέματα: “…Formal methods and theory of security…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 224
    Proceedings of the second workshop on Formal methods in software practice
    Έκδοση 1998
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 225
    Proceedings of the third workshop on Formal methods in software practice
    Έκδοση 2000
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 226
    An introduction to practical formal methods using temporal logic /
    ανά Fisher, Michael, 1962-
    Έκδοση 2011
    “…Practical formal methods using temporal logic…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  7. 227
    Proceedings of the Symposium and Bootcamp on the Science of Security
    Έκδοση 2016
    Θέματα: “…Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 228
    Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems
    Έκδοση 2018
    Θέματα: “…Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 229
    Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security
    Έκδοση 2016
    Θέματα: “…Formal methods and theory of security…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 230
    FME 2001: Formal Methods for Increasing Software Productivity International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “…Lightweight Formal Methods -- Reformulation: a Way to Combine Dynamic Properties and B Refinement…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 231
    Formal Methods for Open Object-Based Distributed Systems 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings /
    Έκδοση 2003
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 232
    Formal Methods at the Crossroads. From Panacea to Foundational Support 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… the Verifying Compiler -- A Grand Challenge Proposal for Formal Methods: A Verified Stack -- "What…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 233
    Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 234
    Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings /
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 235
    Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 236
    Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 237
    Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings /
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 238
    From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…Software Engineering -- Formal Methods and Tools -- Requirements Engineering -- Natural Language…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 239
    Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Formal Method for Object-Oriented Systems -- Model Checking -- Verifying Distributed, Event-Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 240
    Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “…Formal Methods for Open Object-Based Distributed Systems -- Guiding Distributed Systems Synthesis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email