Εμφανίζονται 641 - 660 Αποτελέσματα από 739 για την αναζήτηση '"Formal Methods"', χρόνος αναζήτησης: 0,14δλ Περιορισμός αποτελεσμάτων
  1. 641
    Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “…Using Design Patterns in Formal Methods: An Event-B Approach -- A Unified Approach to Abstract…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 642
    Context-Aware Systems and Applications, and Nature of Computation and Communication 7th EAI International Conference, ICCASA 2018, and 4th EAI International Conference, ICTCC 2018, Viet Tri City, Vietnam, November 22-23, 2018, Proceedings /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 643
    Service Orientation in Holonic and Multi-Agent Manufacturing Proceedings of SOHOMA 2017 /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 644
    Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “…Invited Talks -- Applying Formal Methods in the Large -- Automating Theorem Proving with SMT…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 645
    Information Technology Convergence, Secure and Trust Computing, and Data Management ITCS 2012 & STA 2012 /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… -- Formal methods in security -- Information warfare -- Steganography and watermarking -- Intrusion…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 646
    Advanced Information Systems Engineering 9th International Conference, CAiSE'97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… and formal methods -- Application of a generator-based software development method supporting model reuse…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 647
    Fundamental Approaches to Software Engineering 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Environment -- The Key System: Integrating Object-Oriented Design and Formal Methods -- ObjectCheck: A Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 648
    Automated Reasoning for Systems Biology and Medicine
    Έκδοση 2019
    Πίνακας περιεχομένων: “… to Determine How Gene Regulatory Networks Constrain Mutation Order in Cancer Evolution -- Part II: Formal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 649
    Educational Technology and Narrative Story and Instructional Design /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… Formalized Method to Promote Partnership Between The Instructors and ID Team in Higher Education Context…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 650
    Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… in IdealXML -- Analysis Tools -- Concept Analysis as a Formal Method for Menu Design -- Supporting Resource…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 651
    Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… for CommUnity -- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application -- From OBJ…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 652
    Algebraic Methodology and Software Technology 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… for Liveness -- Counting Votes with Formal Methods -- Agent-Oriented Programming: Where Do We Stand…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 653
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Detection for Local Computations by Refinement-Based Compositions -- How to Select the Suitable Formal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 654
    Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings /
    Έκδοση 1997
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 655
    Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 656
    System Specification & Design Languages Best of FDL’02 /
    Έκδοση 2003
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 657
    String Analysis for Software Verification and Security
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 658
    Context-Aware Systems and Applications, and Nature of Computation and Communication 8th EAI International Conference, ICCASA 2019, and 5th EAI International Conference, ICTCC 2019, My Tho City, Vietnam, November 28-29, 2019, Proceedings /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 659
    Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… -- Assertion-Based Reasoning Method for Calculus of Wireless System -- Taming Living Logic Using Formal Methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 660
    Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings /
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email