Projektdetails
Beschreibung
Für diesen ersten Teil der Forschung besteht das Ziel darin, einen Weg zu entwerfen, um Informationen für die Lecksuche bereitzustellen
die zu erwartenden Leckagebedingungen. Dieser Ad-hoc-Leakage-Vertrag wird in einer einfachen Spezifikationsprache verfasst, die leicht in boolesche Formeln übersetzt werden kann. Der zweite Teil des Forschungsbereichs baut auf den Ergebnissen und Methoden der systematischen Leckortung auf
| Status | Abgeschlossen |
|---|---|
| Tatsächlicher Beginn/ -es Ende | 1/07/21 → 30/06/22 |
Fingerprint
Erkunden Sie die Forschungsthemen, die von diesem Projekt angesprochen werden. Diese Bezeichnungen werden den ihnen zugrunde liegenden Bewilligungen/Fördermitteln entsprechend generiert. Zusammen bilden sie einen einzigartigen Fingerprint.