Εμφανίζονται 181 - 200 Αποτελέσματα από 739 για την αναζήτηση '"Formal Methods"', χρόνος αναζήτησης: 0,08δλ Περιορισμός αποτελεσμάτων
  1. 181
    Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 182
    Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings /
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 183
    Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
    Έκδοση 2007
    Πίνακας περιεχομένων: “…Models and Software Model Checking of a Distributed File Replication System -- From “Formal Methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 184
    Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 185
    Formal Methods: State of the Art and New Directions
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Ate My Vote -- Formal Methods for Biochemical Signalling Pathways -- Separation Logic and Concurrency…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 186
    Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
    ανά Margaria, Tiziana
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  7. 187
    Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
    ανά Aldini, Alessandro
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  8. 188
    Formal Methods: State of the Art and New Directions
    ανά Boca, Paul
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  9. 189
    Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
    ανά Margaria, Tiziana
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  10. 190
    Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
    Έκδοση 2012
    Θέματα: “…Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  11. 191
    Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs
    Έκδοση 2015
    Θέματα: “…Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  12. 192
    Proceedings of the 10th international workshop on Formal methods for industrial critical systems
    Έκδοση 2005
    Θέματα: “…Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  13. 193
    Proceedings of the 8th workshop on Assurances for self-adaptive systems
    Έκδοση 2011
    Θέματα: “…Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  14. 194
    Proceedings of the 17th international doctoral symposium on Components and Architecture
    Έκδοση 2012
    Θέματα: “…Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  15. 195
    Proceedings of the 7th Workshop on Programming Languages and Analysis for Security
    Έκδοση 2012
    Θέματα: “…Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  16. 196
    Proceedings of the fourth ACM workshop on Formal methods in security
    Έκδοση 2006
    Θέματα: “…Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  17. 197
    Proceedings of the sixth workshop on Programming languages meets program verification
    Έκδοση 2012
    Θέματα: “…Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  18. 198
    Proceedings of the 13th workshop on Foundations of aspect-oriented languages
    Έκδοση 2014
    Θέματα: “…Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  19. 199
    Proceedings of the 10th Workshop on Workflows in Support of Large-Scale Science
    Έκδοση 2015
    Θέματα: “…Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  20. 200
    Proceedings of the Second ACM Workshop on Mobile Systems, Applications, and Services for HealthCare
    Έκδοση 2012
    Θέματα: “…Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email