Zobrazeno 1 - 10
of 53
pro vyhledávání: '"Fellner, Andreas"'
Publikováno v:
Current Directions in Biomedical Engineering, Vol 9, Iss 2, Pp 5-8 (2023)
The cochlear implant was the first effective and is still the most common neuroprosthetic device which is employed for people with severe to profound hearing loss. To restore auditory perception, an array of micro-electrodes that deliver electrical p
Externí odkaz:
https://doaj.org/article/14c3acda4f6842ce83f716fcbd2334f3
We study the problem of language inclusion between finite, labeled prime event structures. Prime event structures are a formalism to compactly represent concurrent behavior of discrete systems. A labeled prime event structure induces a language of se
Externí odkaz:
http://arxiv.org/abs/1911.06355
We present a new method for model-based mutation-driven test case generation. Mutants are generated by making small syntactical modifications to the model or source code of the system under test. A test case kills a mutant if the behavior of the muta
Externí odkaz:
http://arxiv.org/abs/1907.07368
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.
While for deterministic systems, a counterexample to a property can simply be an error trace, counterexamples in probabilistic systems are necessarily more complex. For instance, a set of erroneous traces with a sufficient cumulative probability mass
Externí odkaz:
http://arxiv.org/abs/1502.02834
Publikováno v:
Photochemical & Photobiological Sciences; Jun2024, Vol. 23 Issue 6, p1155-1166, 12p
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.
Autor:
Fellner, Andreas1 (AUTHOR) fellner.a@gmail.com, Tabaei Befrouei, Mitra2 (AUTHOR), Weissenbacher, Georg2 (AUTHOR)
Publikováno v:
Software & Systems Modeling. Apr2021, Vol. 20 Issue 2, p405-427. 23p.
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.