Εμφανίζονται 521 - 540 Αποτελέσματα από 739 για την αναζήτηση '"Formal Methods"', χρόνος αναζήτησης: 0,11δλ Περιορισμός αποτελεσμάτων
  1. 521
    Software Engineering 1 Abstraction and Modelling /
    ανά Bjørner, Dines
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 522
    Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 523
    Context-Aware Systems and Applications, and Nature of Computation and Communication 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedings /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 524
    Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “…Formal Methods and the Theory of Social Choice -- Relations Making Their Way from Logics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 525
    Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 526
    Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 527
    Nature of Computation and Communication Second International Conference, ICTCC 2016, Rach Gia, Vietnam, March 17-18, 2016, Revised Selected Papers /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 528
    Transactions on Aspect-Oriented Software Development XI
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 529
    Towards a Design Flow for Reversible Logic
    ανά Wille, Robert, Drechsler, Rolf
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 530
    Formal Approaches to Semantics and Pragmatics Japanese and Beyond /
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 531
    Mathematical Approaches to Software Quality
    ανά O'Regan, Gerard
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 532
    Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers /
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 533
    Diplomacy Games Formal Models and International Negotiations /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- Formal Methods for Forecasting Outcomes of Negotiations on Interstate Conflicts -- Bridging Games…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 534
    Interactive Systems. Design, Specification, and Verification 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… for Executability and Prototypability -- A Toolkit of Mechanism and Context Independent Widgets -- Formal Methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 535
    Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- A Design Methodology for Distributed Real-Time Automotive Applications -- Role of Formal Methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 536
    Building Bridges: HCI, Visualization, and Non-formal Modeling IFIP WG 13.7 Workshops on Human–Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… for Requirements Elicitation, Modeling and Early Assessment for Services -- We need Non-Formal Methods Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 537
    Multi-Agent Systems and Applications III 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Solutions Abstract of a Key-Note Speech -- Coalition Task Support Using I-X and ?I-N-C-A? -- Formal Methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 538
    Correct Hardware Design and Verification Methods 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Timing Diagrams -- Vacuity Detection in Temporal Model Checking -- Formal Methods and Industrial…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 539
    Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Deduction: The Remedies to State Explosion -- Invited Address: Applying Formal Methods to Cryptographic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 540
    Theorem Proving in Higher Order Logics 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “…Invited Talks -- Formal Methods at NASA Langley -- Higher Order Unification 30 Years Later…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email