Franz Weitl
发表
Shin Nakajima,
Franz Weitl,
2010,
WWV.
Burkhard Freitag,
Franz Weitl,
B. Freitag,
2004,
ER.
Franz Weitl,
Franz Weitl,
2007
.
Burkhard Freitag,
Shin Nakajima,
Franz Weitl,
2010,
2010 8th IEEE International Conference on Software Engineering and Formal Methods.
Burkhard Freitag,
Mirjana Jaksic,
Franz Weitl,
2009,
DocEng '09.
Burkhard Freitag,
Shin Nakajima,
Franz Weitl,
2010,
it Inf. Technol..
Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics
Shin Nakajima,
Franz Weitl,
2012
.
Burkhard Freitag,
Franz Weitl,
B. Freitag,
2004,
GI Jahrestagung.
Burkhard Freitag,
Mirjana Jaksic,
Franz Weitl,
2009,
Data Knowl. Eng..
Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics
Shin Nakajima,
Franz Weitl,
S. Nakajima,
2012,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Burkhard Freitag,
Franz Weitl,
Christian Schönberg,
2011,
J. Symb. Comput..
Cyrille Artho,
Masami Hagiya,
Yoshinori Tanabe,
2013,
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Cyrille Artho,
Masami Hagiya,
Yoshinori Tanabe,
2015,
SETTA.
Rudolf Kammerl,
Franz Weitl,
Monica Göstl,
2004
.
Werner Grass,
Rudolf Kammerl,
Franz Weitl,
2007,
INFOS.
Franz Weitl,
André Wiesner,
Elfriede Kelp,
2002
.
Cyrille Artho,
Masami Hagiya,
Watcharin Leungwattanakit,
2014,
2014 Second International Symposium on Computing and Networking.
Burkhard Freitag,
Franz Weitl,
2006,
Journal of Computer Science and Technology.
Cyrille Artho,
Masami Hagiya,
Yoshinori Tanabe,
2014,
2014 Second International Symposium on Computing and Networking.