Treffer 1 - 3 von 3 für Suche 'Perez, Julien Molinero', Suchdauer: 0,60s Treffer weiter einschränken
  1. 1
    Safety Analysis of a CBTC System: A Rigorous Approach with Event-B

    Safety Analysis of a CBTC System: A Rigorous Approach with Event-B von Comptier, Mathieu, Deharbe, David, Perez, Julien Molinero, Mussat, Louis, Pierre, Thibaut, Sabatier, Denis


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B

    Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B von Comptier, Mathieu, Leuschel, Michael, Mejia, Luis-Fernando, Perez, Julien Molinero, Mutz, Mareike


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Property-Driven Software Analysis: Extended Abstract

    Property-Driven Software Analysis: Extended Abstract von Comptier, Mathieu, Déharbe, David, Fournier, Paulin, Molinero-Perez, Julien


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: