Εμφανίζονται 1 - 9 Αποτελέσματα από 9 για την αναζήτηση '"Mondex"', χρόνος αναζήτησης: 0,09δλ Περιορισμός αποτελεσμάτων
  1. 1
    Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Higher-Order Recursive Functions in B -- A Systematic Verification Approach for Mondex Electronic Purses…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Theoretical Aspects of Computing – ICTAC 2010 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Testing: A Case Study on a Flash Storage Platform -- Analyzing a Formal Specification of Mondex Using…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Analysis of the Mondex Electronic Purse System -- Capturing Conflict and Confusion in CSP -- A Stepwise…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “…Invited Papers -- Verifying a Hotel Key Card System -- Z/Eves and the Mondex Electronic Purse…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “…Invited Talk -- The Embedded Systems Design Challenge -- Interactive Verification -- The Mondex…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- Session 5. Grand Chellenge Problems -- Verification of Mondex Electronic Purses with KIV: From a Security…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Models in Software Engineering Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Modelling: A Different View of the Mondex Purse -- Models@run.time -- Second International Workshop…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    The Book of Payments Historical and Contemporary Views on the Cashless Society /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…) Protecting Plastic: Credit Card Fraud in Historical Perspective; Vanatta H. Sean -- Chapter 16) Mondex…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email