Εμφανίζονται 241 - 260 Αποτελέσματα από 739 για την αναζήτηση '"Formal Methods"', χρόνος αναζήτησης: 0,50δλ Περιορισμός αποτελεσμάτων
  1. 241
    Proceedings of the 2003 ACM workshop on Formal methods in security engineering
    Έκδοση 2003
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 242
    Proceedings of the 2005 ACM workshop on Formal methods in security engineering
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 243
    Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 244
    Proceedings of the 2004 ACM workshop on Formal methods in security engineering
    Έκδοση 2004
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 245
    Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 246
    Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 247
    Proceedings of the Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 248
    Proceedings of the 2018 ACM SIGPLAN International Workshop on Formal Methods and Security
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 249
    Nadel-2023-Proceedings of the 23rd Conference on Formal Methods in Comput...-vor.pdf
    Έκδοση 2023
    “…The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference…”
    Λήψη πλήρους κειμένου
  10. 250
    Logic programming formal methods and practical aplications
    Έκδοση 1995
    Βιβλίο
  11. 251
    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Intelligence and Formal Methods -- Engineering Adaptivity, Universal Autonomous Systems, Ethics and Compliance…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 252
    FME '97 Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… optimization -- A meta-method for formal method integration -- Reuse of verified design templates through…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 253
    Applying Formal Methods: Testing, Performance, and M/E-Commerce FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 /
    Έκδοση 2004
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 254
    Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… for Concurrency -- Formal Methods in Industrial Practice - bridging the gap (Track Summary) -- Model-based Testing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 255
    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 256
    Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 257
    Proceedings of the Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 258
    Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 259
    Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 260
    Proceedings of the Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email