Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Ahrendt, Philipp
3
Ergebnisse:
Personensuche
X
Format
Online (3)
Medientypen
Artikel (Online) (1)
Buchkapitel (Online) (1)
OpenAccess-Volltexte (1)
Sortierung: Relevanz
Sortierung: Jahr
?
1
Considering Uncertainty in Railway Systems (CURSe):
Haehn, Rebecca
;
Kotowski, Niklas
;
Ahrendt, Philipp
.
doi:10.1007/978-3-031-05814-1_4. , 2022
Link:
https://zenodo.org/recor..
?
2
TriCo—Triple Co-piloting of Implementation, Specification a..:
, In:
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science
,
Ahrendt, Wolfgang
;
Gurov, Dilian
;
Johansson, Moa
. - p. 174-187 , 2022
Link:
https://doi.org/10.1007/..
?
3
Practical Aspects of Automated Deduction for Program Verifi..:
Ahrendt, Wolfgang
;
Beckert, Bernhard
;
Giese, Martin
.
KI - Künstliche Intelligenz. 24 (2010) 1 - p. 43-49 , 2010
Link:
https://doi.org/10.1007/..
1-3