de
en
Close
Detailsuche
Bibliotheken
Projekt
Imprint
Privacy Policy
jump to main content
Search Details
Quicksearch:
OK
Close
Document types
3
Entries for
Dissertation (PhD)
Authors / Collaborators
3
Entries for
Niggemann, Oliver
2
Entries for
Kleine Büning, Hans
1
Entries for
Isenberg, Tobias
1
Entries for
Kalech, Meir
1
Entries for
Maier, Alexander
1
Entries for
Vodenčarević, Asmir
1
Entries for
Wehrheim, Heike
1
Entries for
Zilles, Sandra
3
Titles
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
Identification of timed behavior models for diagnosis in production systems
Maier, Alexander
2015
Identifying behavior models for hybrid production systems
Vodenčarević, Asmir
2013
Induction-based Verification of Timed Systems
Isenberg, Tobias
;
Wehrheim, Heike
;
Niggemann, Oliver
Elektronische Ressource, Paderborn, 2016