Suchergebnisse - Herber Paula

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

    Correct and reliable construction of ccomplex embedded real-time systems: Dr.-Ing. Paula Herber, geb. in Köln
    von Herber Paula

    Veröffentlicht 2018
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    A framework for automated HW-SW Co-verification of systemC designs using timed automata
    von Herber, Paula

    Veröffentlicht 2010
    Online lesen (frei zugänglich)
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    iFM 2023: 18th international conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, proceedings

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Herber Paula …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Ernst Denert Award for Software Engineering 2022: practice meets foundations

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Herber Paula …”
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    iFM 2023: 18th international conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023 : proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Herber, Paula …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: