Suchergebnisse - Petrucci, Laure

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

    Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Petrucci, Laure …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Application and theory of Petri nets and concurrency: 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, proceedings

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Petrucci, Laure …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Critical systems: formal methods and automated verification: joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017 : proceedings

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Petrucci, Laure …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Critical systems: formal methods and automated verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017 : proceedings

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Petrucci, Laure …”
    Tagungsbericht Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Formal modeling and analysis of timed systems: 21st international conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Petrucci, Laure …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: