Treffer 1 - 5 von 5 für Suche 'Rehm, Joris', Suchdauer: 0,71s Treffer weiter einschränken
  1. 1
    Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method

    Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method von Rehm, Joris


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Towards a Method for the Decomposition by Refinement in Event-B

    Towards a Method for the Decomposition by Refinement in Event-B von Kraibi, Kenza, Ben Ayed, Rahma, Rehm, Joris, Collart-Dutilleul, Simon, Bon, Philippe, Petit, Dorian


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Time Constraint Patterns for Event B Development

    Time Constraint Patterns for Event B Development von Cansell, Dominique, Méry, Dominique, Rehm, Joris


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Fixed-Point Arithmetic Modeled in B Software Using Reals

    Fixed-Point Arithmetic Modeled in B Software Using Reals von Guéry, Jérôme, Rolland, Olivier, Rehm, Joris


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Gestion du temps par le raffinement

    Gestion du temps par le raffinement von Rehm, Joris

    Volltext bestellen
    Dissertation

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: