Suchergebnisse - Seceleanu, Cristina

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

    Tests and proofs: 17th international conference, TAP 2023, Leicester, UK, July 18–19, 2023, proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Seceleanu, Cristina …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Engineering of computer-based systems: 8th international conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, proceedings

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Seceleanu, Cristina …”
    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: “… Seceleanu, Cristina …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    CyberSecurity in a DevOps Environment: From Requirements to Monitoring

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Seceleanu, Cristina …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Tests and proofs: 17th international conference, TAP 2023, Leicester, UK, July 18-19, 2023 : proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Seceleanu, Cristina …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: