de
en
Close
Detailsuche
Bibliotheken
Projekt
Imprint
Privacy Policy
Close
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
jump to main content
Search Details
Quicksearch:
OK
Close
Periods
5
Entries for
2011-2020
2
Entries for
2021-2030
Authors / Collaborators
7
Entries for
Wehrheim, Heike
3
Entries for
Engels, Gregor
2
Entries for
Becker, Steffen
2
Entries for
Hüllermeier, Eyke
1
Entries for
Anjorin, Anthony
1
Entries for
Beringer, Steffen
1
Entries for
Besova, Galina
1
Entries for
Giese, Holger
1
Entries for
Inverardi, Paola
1
Entries for
König, Jürgen
1
Entries for
Lettmann, Theodor
1
Entries for
Meyer, Matthias
1
Entries for
Platenius, Marie Christin
1
Entries for
Ruhroth, Thomas
1
Entries for
Sauer, Stefan
1
Entries for
Schäfer, Wilhelm
1
Entries for
Schäfer, Wilhelm Fr.
1
Entries for
Steenken, Dominik
1
Entries for
Suhl, Leena
1
Entries for
Travkin, Dietrich
1
Entries for
Zündorf, Albert
Show 11 more
Show first 10
Languages
7
Entries for
German
5
Entries for
English
7
Titles
in
Klassifikation (DDC)
Classification
Close
Filters
2
jump to filter-options
Title
Persons
Place
Publisher
Year
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
All Titles
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
Fuzzy matching of comprehensive service specifications
Platenius, Marie Christin
;
Schäfer, Wilhelm
;
Engels, Gregor
;
Becker, Steffen
;
Wehrheim, Heike
;
Inverardi, Paola
;
Hüllermeier, Eyke
Elektronische Ressource, Paderborn, 2016
Generische Refactoring-Spezifikation für Korrektheitsbeweise in mehrsichtigen Modellsprachen
Ruhroth, Thomas
2011
Modellgetriebener Einsatz von Softwareentwurfsmustern
Travkin, Dietrich
;
Anjorin, Anthony
;
Zündorf, Albert
;
Wehrheim, Heike
;
Meyer, Matthias
;
Sauer, Stefan
Elektronische Ressource, Paderborn, 2018
On the membership and correctness problem for state serializability and value opacity
König, Jürgen
;
Wehrheim, Heike
Elektronische Ressource, Paderborn, 2023
Systematic development and re-use of model transformations
Besova, Galina
;
Engels, Gregor
;
Suhl, Leena
2015
Timing Verifikation von AUTOSAR Softwarearchitekturen
Beringer, Steffen
;
Wehrheim, Heike
;
Engels, Gregor
Elektronische Ressource, Paderborn, 2022
Verification of infinite-state graph transformation systems via abstraction
Steenken, Dominik
2015