Εμφανίζονται 621 - 640 Αποτελέσματα από 739 για την αναζήτηση '"Formal Methods"', χρόνος αναζήτησης: 0,21δλ Περιορισμός αποτελεσμάτων
  1. 621
    Protocol Engineering
    ανά König, Hartmut
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 622
    Nuel Belnap on Indeterminism and Free Action
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 623
    Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 624
    Fundamental Approaches to Software Engineering 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… of an Automated Integrated Testing Environment for CTI Systems -- Formal Methods -- Semantics of Architectural…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 625
    Application and Theory of Petri Nets 1997 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… Coloured Petri Nets - a gentle introduction to formal methods in a distributed systems course -- Transition…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 626
    Infrastructure Security International Conference, InfraSec 2002 Bristol, UK, October 1-3, 2002 Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… -- Formal Methods -- Authenticity and Provability - A Formal Framework -- Protocol Engineering Applied…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 627
    Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, MAY 5-7, 2004, Revised Selected Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “…Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 628
    Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- Tutorials: Extended Abstracts -- Tutorial on Formal Methods for Distributed and Cooperative Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 629
    Intelligent Agents IV: Agent Theories, Architectures, and Languages 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings /
    Έκδοση 1998
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 630
    Methods of Applied Mathematics with a Software Overview
    ανά Davis, Jon H.
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 631
    Model Checking Software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings /
    Έκδοση 2004
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 632
    Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 633
    Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings /
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 634
    Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Engineering of Emergency and Process Shutdown Systems -- Combining Extended UML Models and Formal Methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 635
    Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Mining Using Formal Methods -- L3: A Linear Language with Locations -- Binding Signatures for Generic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 636
    Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Quality Software with Formal Methods: What Else Is Needed? -- A Testing Architecture for Designing High…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 637
    Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers /
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 638
    Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings /
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 639
    Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “…: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 640
    Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email