Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Güdemann, Matthias"'
Autor:
Güdemann, Matthias, Schrammel, Peter
Automated test case generation tools help businesses to write tests and increase the safety net provided by high regression test coverage when making code changes. Test generation needs to cover as much as possible of the uncovered code while avoidin
Externí odkaz:
http://arxiv.org/abs/2212.14779
Autor:
Güdemann, Matthias, Ortmeier, Frank
Publikováno v:
EPTCS 28, 2010, pp. 114-128
Model-based safety analysis approaches aim at finding critical failure combinations by analysis of models of the whole system (i.e. software, hardware, failure modes and environment). The advantage of these methods compared to traditional approaches
Externí odkaz:
http://arxiv.org/abs/1006.5101
Autor:
Güdemann, Matthias
Petri nets are a widely used formalism to describe and analyze critical systems. It is in particular well suited for systems with concurrency like cache coherence protocols, fault-tolerant distributed systems or security critical protocols. The verif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::04d10d52746793607d5bd4e4174918cb
Publikováno v:
In IFAC Proceedings Volumes 2007 40(6):145-150
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Dieser technische Bericht beinhaltet eine Sammlung von Anwendungen und Case Studies der Projekte des Schwerpunktprogramms "Organic Computing" der DFG. Jedes Projekt hat hierzu ein einheitliches Formular zur Anwendungsbeschreibung ausgefüllt. Diese w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3341::19fecca9611ba4e30b9e6ffd737cb625
https://opus.bibliothek.uni-augsburg.de/opus4/files/418/TB_2006_22.pdf
https://opus.bibliothek.uni-augsburg.de/opus4/files/418/TB_2006_22.pdf
Autor:
Güdemann, Matthias, Nafz, Florian, Pietzowski, Andreas, Reif, Wolfgang (Prof. Dr.), Satzger, Benjamin, Seebach, Hella, Ungerer, Theo (Prof. Dr.)
This technical report documents a summary of the SPP-OC Workshop ”Architectures and Applications” at the University of Augsburg. Architectures and applications of organic computing systems are two of the profile topics of the priority program ”
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3341::0d951c893cb850dd64b0f440add74712
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/398
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/398