Εμφανίζονται 1 - 5 Αποτελέσματα από 5 για την αναζήτηση '', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Industrial used of formal method : formal verification /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  2. 2
    The inverse method : parametric verification of real-time embedded systems /
    ανά André, Etienne
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  3. 3
    Proceedings of the 2006 conference on Specification and verification of component-based systems
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 4
    Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 5
    Proceedings of the 2nd ACM Workshop on Attribute-Based Access Control
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email