Εμφανίζονται 1 - 19 Αποτελέσματα από 19 για την αναζήτηση '"Model-checking"', χρόνος αναζήτησης: 0,05δλ Περιορισμός αποτελεσμάτων
  1. 1
    Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design
    Έκδοση 2003
    Θέματα: “…Model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Proceedings of the 1st international workshop on Advances in model-based testing
    Έκδοση 2005
    Θέματα: “…Model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
    Έκδοση 1998
    Θέματα: “…Model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 4
    Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems
    Έκδοση 2010
    Θέματα: “…Model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 5
    Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems
    Έκδοση 2019
    Θέματα: “…Model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 6
    Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design
    Έκδοση 2005
    Θέματα: “…Model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Proceedings of the 8th international workshop on Specification and verification of component-based systems
    Έκδοση 2009
    Θέματα: “…Model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 8
    Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis
    Έκδοση 2013
    Θέματα: “…Model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 9
    Proceedings of the 2004 ACM workshop on Formal methods in security engineering
    Έκδοση 2004
    Θέματα: “…Model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 10
    Proceedings of the 2019 3rd International Conference on Software and e-Business
    Έκδοση 2019
    Θέματα: “…Model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  11. 11
    Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
    Έκδοση 2017
    Θέματα: “…Model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  12. 12
    Proceedings of the 10th international workshop on Formal methods for industrial critical systems
    Έκδοση 2005
    Θέματα: “…Model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  13. 13
    Proceedings of the Second ACM/IEEE International Conference on Formal Methods and Models for Co-Design
    Έκδοση 2004
    Θέματα: “…Model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Proceedings of the Sixth ACM/IEEE International Conference on Formal Methods and Models for Co-Design
    Έκδοση 2008
    Θέματα: “…Model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
    Έκδοση 2003
    Θέματα: “…Model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  16. 16
    Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
    Έκδοση 2011
    Θέματα: “…Model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign
    Έκδοση 2011
    Θέματα: “…Model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT
    Έκδοση 2019
    Θέματα: “…Model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  19. 19
    On model-theoretic approaches to monadic second-order logic evaluation
    Θέματα: “…Model-checking…”
    Λήψη πλήρους κειμένου
    Technical Report
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email