Suche in der Hochschulbibliografie

Treffer 1-2 von 2

Sortieren nach: JahrTitelVerfasser/in

Seite 1 von 1

Alle Titel auf dieser Seite auswählen

Ausgewählte Titel exportierenAlle Titel exportieren: [ Export-Format auswählen ]EndNote WebEndNoteRISBibTeXMS ExcelCOinSOK

• 1
  49GBVUOB_ALMA5142461606000350149GBVUOB_ALMA51424616060003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51424616060003501
  Artikel
  Detecting redundant preconditions

  von Nicola Thoben ; Heike Wehrheim

  2025

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Wehrheim, HeikeThoben, Nicola

  Enthalten in: IEEE/ACM International Conference on Formal Methods in Software Engineering (13. : 2025 : Ottawa) 2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering Piscataway, NJ : IEEE, 2025 (2025), Seite 86-95 1 Online-Ressource

  Sprache: Englisch

  >> Volltext
• 2
  49GBVUOB_ALMA5137567010000350149GBVUOB_ALMA51375670100003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375670100003501
  Artikel
  Timeout prediction for software analyses

  von Nicola Thoben ; Jan Haltermann ; Heike Wehrheim

  2023

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Haltermann, Jan ([2021-])Wehrheim, Heike

  Enthalten in: Software Engineering and Formal Methods 1st ed. 2023. Cham : Springer Nature Switzerland, 2023 (2023), Seite 340-358 1 Online-Ressource(XII, 378 p. 152 illus., 105 illus. in color.)

  Sprache: Englisch

  >> Volltext