de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
Zeiträume
2
Einträge für
2001-2100
Zeiträume
1
Einträge für
2011-2020
1
Einträge für
2021-2030
Autoren / Beteiligte
2
Einträge für
Wehrheim, Heike
1
Einträge für
Beringer, Steffen
1
Einträge für
Engels, Gregor
1
Einträge für
Kleine Büning, Hans
1
Einträge für
Timm, Nils
Sprachen
2
Einträge für
Englisch
1
Einträge für
Deutsch
Bibliotheken
2
Einträge für
Sammlungen der UB Paderborn
2
Neuzugänge
Klassifikation
Schliessen
Filter
3
zu den Filteroptionen
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Alle Titel
Klassifikation (DDC)
Informatik, Informationswissenschaft, allgemeine Werke
Philosophie und Psychologie
Religion
Sozialwissenschaften
Naturwissenschaften und Mathematik
Sprache
Künste und Unterhaltung
Geschichte und Geografie
Technik, Medizin, angewandte Wissenschaften
Literatur
vom 22.3.2023
Timing Verifikation von AUTOSAR Softwarearchitekturen
Beringer, Steffen
;
Wehrheim, Heike
;
Engels, Gregor
Elektronische Ressource, Paderborn, 2022
vom 4.7.2013
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Timm, Nils
2013