Treffer 1 - 3 von 3 für Suche 'De Kermadec, Adrien', Suchdauer: 0,63s Treffer weiter einschränken
  1. 1
    Building a Test-Ready Abstraction of a Behavioral Model Using CLP

    Building a Test-Ready Abstraction of a Behavioral Model Using CLP von Bué, Pierre-Christophe, Dadeau, Frédéric, de Kermadec, Adrien, Bouquet, Fabrice


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance

    Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance von Dadeau, Frédéric, De Kermadec, Adrien, Tissot, Régis


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Assessing the Quality of B Models

    Assessing the Quality of B Models von de Kermadec, Adrien, Dadeau, Frederic, Bouquet, Fabrice


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: