Suchergebnisse - Mery, Dominique

  • Treffer 1 – 8 von 8
Treffer filtern
  1. 1
    Buchumschlag

    Rigorous state-based methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Méry, Dominique …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Rigorous state-based methods: 7th international conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 : proceedings

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Méry, Dominique …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Formal methods and software engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, proceedings

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Mery, Dominique …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Méry, Dominique …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Model and data engineering: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018 : proceedings

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Méry, Dominique …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Méry, Dominique …”
    Online lesen (HM)

    In der Bibliothek der Hochschule München (HM) nutzbar.

    Per Fernleihe bestellen
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    New trends in model and data engineering: MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018 : proceedings

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Mery, Dominique …”
    Online lesen (HM)

    In der Bibliothek der Hochschule München (HM) nutzbar.

    Per Fernleihe bestellen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    Rigorous state-based methods: 9th international conference, ABZ 2023, Nancy, France, May 30-June 2, 2023 : proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Méry, Dominique …”
    Per Fernleihe bestellen
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: