Treffer 1 - 20 von 382 für Suche 'Henson, Martin', Suchdauer: 0,96s Treffer weiter einschränken
  1. 1
    ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

    ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings von Bert, Didier, Bowen, Jonathan P, Henson, Martin C, Robinson, Ken


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A Relational Investigation of UTP Designs and Prescriptions

    A Relational Investigation of UTP Designs and Prescriptions von Deutsch, Moshe, Henson, Martin C.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Organising Principles for the Internationalization of Higher Education

    Organising Principles for the Internationalization of Higher Education von Henson, Martin, Pugna, Irina Bogdana


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    An analysis of refinement in an abortive paradigm

    An analysis of refinement in an abortive paradigm von DEUTSCH, Moshe, HENSON, Martin C

    Veröffentlicht in Formal aspects of computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Towards Realising FollowMe User Profiles for Macro-Intelligent Environments

    Towards Realising FollowMe User Profiles for Macro-Intelligent Environments von Whittington, Luke, Dooley, James, Henson, Martin, Al-Ghamdi, Abdullah

    Veröffentlicht in Computers (Basel)

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    The Semantics of Circus

    The Semantics of Circus von Woodcock, Jim, Cavalcanti, Ana


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    A logic for schema-based program development

    A logic for schema-based program development von HENSON, Martin C, REEVES, Steve

    Veröffentlicht in Formal aspects of computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Investigating Z

    Investigating Z von Henson, MC, Reeves, S


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

    ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings von Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    An Analysis of Forward Simulation Data Refinement

    An Analysis of Forward Simulation Data Refinement von Deutsch, Moshe, Henson, Martin C.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Operation Refinement and Monotonicity in the Schema Calculus

    Operation Refinement and Monotonicity in the Schema Calculus von Deutsch, Moshe, Henson, Martin C., Reeves, Steve


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Refinement and Reachability in Event_B

    Refinement and Reachability in Event_B von Abrial, Jean-Raymond, Cansell, Dominique, Méry, Dominique


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  13. 13
    ZB 2002: formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France January 23-25, 2002 : proceedings

    ZB 2002: formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France January 23-25, 2002 : proceedings von Bert, Didier, Bowen, Jonathan P, Henson, Martin C, Robinson, Ken

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Model Checking Z Specifications Using SAL

    Model Checking Z Specifications Using SAL von Smith, Graeme, Wildman, Luke


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  15. 15
    CZT: A Framework for Z Tools

    CZT: A Framework for Z Tools von Malik, Petra, Utting, Mark


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  16. 16
    The standard logic of Z is inconsistent

    The standard logic of Z is inconsistent von HENSON, M. C

    Veröffentlicht in Formal aspects of computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Communicating B Machines

    Communicating B Machines von Schneider, Steve, Treharne, Helen


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Visualising Larger State Spaces in ProB

    Visualising Larger State Spaces in ProB von Leuschel, Michael, Turner, Edd


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Using B as a High Level Programming Language in an Industrial Project: Roissy VAL

    Using B as a High Level Programming Language in an Industrial Project: Roissy VAL von Badeau, Frédéric, Amelot, Arnaud


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development

    Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development von Laleau, Régine, Polack, Fiona


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: