Treffer 1 - 20 von 156 für Suche 'Boiten, Eerke A.', Suchdauer: 0,71s Treffer weiter einschränken
  1. 1
    Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings

    Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings von Boiten, Eerke A, Derrick, John, Smith, Graeme


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings

    Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings von Boiten, Eerke A, Möller, Bernhard


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft

    SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft von Ball, Thomas, Cook, Byron, Levin, Vladimir, Rajamani, Sriram K.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    State/Event-Based Software Model Checking

    State/Event-Based Software Model Checking von Chaki, Sagar, Clarke, Edmund M., Ouaknine, Joël, Sharygina, Natasha, Sinha, Nishant


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Introducing extra operations in refinement

    Introducing extra operations in refinement von Boiten, Eerke A.

    Veröffentlicht in Formal aspects of computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Big Data Refinement

    Big Data Refinement von Boiten, Eerke A.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    From ODP viewpoint consistency to Integrated Formal Methods

    From ODP viewpoint consistency to Integrated Formal Methods von Boiten, Eerke A., Derrick, John


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    UML to B: Formal Verification of Object-Oriented Models

    UML to B: Formal Verification of Object-Oriented Models von Lano, K., Clark, D., Androutsopoulos, K.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    A Tutorial Introduction to Designs in Unifying Theories of Programming

    A Tutorial Introduction to Designs in Unifying Theories of Programming von Woodcock, Jim, Cavalcanti, Ana


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    From Kleene Algebra to Refinement Algebra

    From Kleene Algebra to Refinement Algebra von von Wright, Joakim


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors

    Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors von Curzon, Paul, Blandford, Ann


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Formalising Behaviour Trees with CSP

    Formalising Behaviour Trees with CSP von Winter, Kirsten


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Type-Indexed Data Types

    Type-Indexed Data Types von Hinze, Ralf, Jeuring, Johan, Löh, Andres


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Linking CSP-OZ with UML and Java: A Case Study

    Linking CSP-OZ with UML and Java: A Case Study von Möller, Michael, Olderog, Ernst-Rüdiger, Rasch, Holger, Wehrheim, Heike


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Verifying Controlled Components

    Verifying Controlled Components von Schneider, Steve, Treharne, Helen


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Software Verification with Integrated Data Type Refinement for Integer Arithmetic

    Software Verification with Integrated Data Type Refinement for Integer Arithmetic von Beckert, Bernhard, Schlager, Steffen


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Eternity Variables to Simulate Specifications

    Eternity Variables to Simulate Specifications von Hesselink, Wim H.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings

    Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings von Boiten, Eerke, Derrick, John, Smith, Graeme

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Inverting Functions as Folds

    Inverting Functions as Folds von Mu, Shin-Cheng, Bird, Richard


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm

    Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm von Giegerich, Robert, Steffen, Peter


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: