Treffer 1 - 6 von 6 für Suche 'Streader, D.', Suchdauer: 0,61s Treffer weiter einschränken
  1. 1
    Atomic Components

    Atomic Components von Reeves, Steve, Streader, David


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Comparison of Data and Process Refinement

    Comparison of Data and Process Refinement von Reeves, Steve, Streader, David


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts

    Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts von Malik, Robi, Streader, David, Reeves, Steve


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Feature Refinement

    Feature Refinement von Reeves, S., Streader, D.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Modular Synthesis of Discrete Controllers

    Modular Synthesis of Discrete Controllers von Malik, P., Malik, R., Streader, D., Reeves, S.

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  6. 6
    A Robust Semantics Hides Fewer Errors

    A Robust Semantics Hides Fewer Errors von Reeves, Steve, Streader, David


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: