Εμφανίζονται 541 - 560 Αποτελέσματα από 739 για την αναζήτηση '"Formal Methods"', χρόνος αναζήτησης: 0,12δλ Περιορισμός αποτελεσμάτων
  1. 541
    Model-Driven Design Using IEC 61499 A Synchronous Approach for Embedded and Automation Systems /
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 542
    Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers /
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 543
    Security and Resiliency Analytics for Smart Grids Static and Dynamic Approaches /
    ανά Al-Shaer, Ehab, Rahman, Mohammad Ashiqur
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 544
    Formal Syntax and Semantics of Java
    Έκδοση 1999
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 545
    Advances in Computing Science - ASIAN'98 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… -- Two Flavors of Offine Partial Evaluation -- First-Class Contexts in ML -- Keynote Address -- Formal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 546
    Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997. /
    Έκδοση 1998
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 547
    Trust Management Second International Conference, iTrust 2004, Oxford, UK, March 29 - April 1, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Papers and Experience Reports -- The Use of Formal Methods in the Analysis of Trust (Position Paper…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 548
    978-3-030-99524-9.pdf
    Έκδοση 2022
    Λήψη πλήρους κειμένου
  9. 549
    978-3-030-81685-8.pdf
    Έκδοση 2021
    Λήψη πλήρους κειμένου
  10. 550
    978-3-030-81688-9.pdf
    Έκδοση 2021
    Λήψη πλήρους κειμένου
  11. 551
    Verification and Control of Hybrid Systems A Symbolic Approach /
    ανά Tabuada, Paulo
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 552
    Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 553
    Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 554
    Software Engineering Research, Management and Applications
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 555
    Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… in Software Development -- Component Tools: Integrating Petri Nets with Other Formal Methods -- Using Colored…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 556
    Theory and Application of Reuse, Integration, and Data Science
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 557
    Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Specifications in Probabilistic B -- COMBINE: A Tool on Combined Formal Methods for Bindingly Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 558
    Population, Resources and Development Riding the Age Waves /
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 559
    Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 /
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 560
    Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV /
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email