Εμφανίζονται 261 - 280 Αποτελέσματα από 739 για την αναζήτηση '"Formal Methods"', χρόνος αναζήτησης: 0,11δλ Περιορισμός αποτελεσμάτων
  1. 261
    Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design
    Έκδοση 2003
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 262
    Proceedings of the Second ACM/IEEE International Conference on Formal Methods and Models for Co-Design
    Έκδοση 2004
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 263
    Proceedings of the Fourth ACM/IEEE International Conference on Formal Methods and Models for Co-Design
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 264
    Proceedings of the Sixth ACM/IEEE International Conference on Formal Methods and Models for Co-Design
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 265
    Proceedings of the 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 266
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… -- Towards a Unified View of Modeling and Programming -- Formal Methods and Safety Certification: Challenges…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 267
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 268
    Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… – An Application from Automotive/Infotainment Development.- Formal Methods for Intelligent Transportation Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 269
    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 270
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… for Mastering Change: Preliminary Manifesto -- XII Table of Contents – Part I Formal Methods for Collective…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 271
    E-Book_Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021.pdf
    Έκδοση 2021
    “…The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference…”
    Λήψη πλήρους κειμένου
  12. 272
    E-Book_Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022.pdf
    Έκδοση 2022
    “…The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference…”
  13. 273
    Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 274
    Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  15. 275
    Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  16. 276
    Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude /
    ανά Ölveczky, Peter Csaba
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 277
    FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems /
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 278
    Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
    Έκδοση 2002
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 279
    Spatial Cognition II Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications /
    Έκδοση 2000
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 280
    Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Structural Unit Test Generation Combining Genetic Algorithms and Formal Methods -- Coverage-Based Testing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email