Εμφανίζονται 281 - 300 Αποτελέσματα από 739 για την αναζήτηση '"Formal Methods"', χρόνος αναζήτησης: 0,12δλ Περιορισμός αποτελεσμάτων
  1. 281
    Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… and Performance Analysis for Web Services -- Application of Formal Methods to the Analysis of Web Services…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 282
    VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings /
    Έκδοση 1987
    Πρακτικό Συνεδρίου Βιβλίο
  3. 283
    A computational logic handbook
    ανά Boyer, Robert, Moore, J. Strother
    Έκδοση 1998
    “…Academic Press International Series in Formal Methods / Micahel G. Hinchey…”
    Βιβλίο
  4. 284
    Industrial Deployment of System Engineering Methods
    Έκδοση 2013
    Πίνακας περιεχομένων: “… -- Formal Methods as an Improvement Tool -- Critical Software Technologies Experience with Formal Methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 285
    9783854480426.pdf
    Έκδοση 2021
    “…The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference…”
    Λήψη πλήρους κειμένου
  6. 286
    Agent Technology from a Formal Perspective
    Έκδοση 2006
    Πίνακας περιεχομένων: “…What Is an Agent? And What Is an Agent Community? -- to Formal Methods -- Formal Methods and Agent…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 287
    Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers /
    Έκδοση 2015
    Πίνακας περιεχομένων: “…Case studies and experience reports on the use of formal methods for analyzing -- Safety-critical…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 288
    Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems /
    Πίνακας περιεχομένων: “… Modeling Fundamentals -- The Choice of TLA+/TLC: Comparing Formal Methods -- Basic Formal Specification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 289
    Formal Approaches to Software Testing Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers /
    Έκδοση 2004
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 290
    Modelling and Implementation of Complex Systems Proceedings of the 4th International Symposium, MISC 2016, Constantine, Algeria, May 7-8, 2016, Constantine, Algeria /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… -- Software Engineering and Formal Methods.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 291
    Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 292
    ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings /
    Έκδοση 1998
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 293
    Specification of Software Systems
    ανά Alagar, V.S, Periyasamy, K.
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 294
    Software-Intensive Systems and New Computing Paradigms Challenges and Visions /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… in Urban Districts -- II Theory and Formal Methods -- Formal Ensemble Engineering -- Structured Interacting…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 295
    Verification, Model Checking, and Abstract Interpretation 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- History-Dependent Scheduling for Cryptographic Processes -- Formal Methods I -- Construction of a Semantic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 296
    1002202.pdf
    Έκδοση 2018
    “…computer software maintenance; computer software selection and evaluation; formal logic; formal…”
    Λήψη πλήρους κειμένου
  17. 297
    978-3-031-13188-2.pdf
    Έκδοση 2022
    “…: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks…”
    Λήψη πλήρους κειμένου
  18. 298
    978-3-031-13185-1.pdf
    Έκδοση 2022
    “…: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks…”
    Λήψη πλήρους κειμένου
  19. 299
    Formal Aspects of Component Software 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers /
    Έκδοση 2017
    Πίνακας περιεχομένων: “…Formal Models and Analysis for Self-Adaptive Cyber-Physical Systems -- From Formal Methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 300
    Secure Transaction Protocol Analysis Models and Applications /
    ανά Chen, Qingfeng, Zhang, Chengqi, Zhang, Shichao
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email