Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Weitl, Franz"'
Autor:
Weitl, Franz
Publikováno v:
kostenfrei.
Passau, Univ., Diss., 2008
Erscheinungsjahr an der Haupttitelstelle: 2007
Erscheinungsjahr an der Haupttitelstelle: 2007
Publikováno v:
In Journal of Symbolic Computation 2011 46(2):183-206
Autor:
Weitl, Franz
Publikováno v:
kostenfrei.
Passau, Univ., Diss., 2008
Erscheinungsjahr an der Haupttitelstelle: 2007
Erscheinungsjahr an der Haupttitelstelle: 2007
Publikováno v:
In Data & Knowledge Engineering 2009 68(3):292-317
Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics
Autor:
Weitl, Franz, Nakajima, Shin
This paper presents a new notation for the formal representation of the static structure and dynamic behavior of software, based on description logics and temporal logics. The static structure as described by UML class diagrams is represented formall
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8667c793079eff37f52eddf61d21c86d
Autor:
Artho, Cyrille, Biere, Armin, Hagiya, Masami, Potter, Richard, Ramler, Rudolf, Tanabe, Yoshinori, Weitl, Franz, Yamamoto, Mitsuharu
Tool demonstration (short paper)Not duplicate with DiVA 1060449QC 20170104
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2309b08af17b7b2d96462dc5739f3066
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-199128
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-199128
Autor:
Weitl, Franz
The thesis proposes a new formal framework for checking the content of web documents along individual reading paths. It is vital for the readability of web documents that their content is consistent and coherent along the possible browsing paths thro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______240::fd04e357057a0ffe57cd7a239d0c6ebc
https://opus4.kobv.de/opus4-uni-passau/frontdoor/index/index/docId/101
https://opus4.kobv.de/opus4-uni-passau/frontdoor/index/index/docId/101
Autor:
Weitl, Franz, Sebih, Nazim, Artho, Cyrille, Hagiya, Masami, Tanabe, Yoshinori, Yamagata, Yoriyuki, Yamamoto, Mitsuharu
Publikováno v:
Dependable Software Engineering: Theories, Tools & Applications; 2015, p120-134, 15p
Autor:
Artho, Cyrille, Hagiya, Masami, Leungwattanakit, Watcharin, Platon, Eric, Potter, Richard, Suzaki, Kuniyasu, Tanabe, Yoshinori, Weitl, Franz, Yamamoto, Mitsuharu
Publikováno v:
2014 Second International Symposium on Computing & Networking; 2014, p144-150, 7p