Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Stochastischer Automat"'
Autor:
Hatefi Ardakani, Hassan
Markov automata constitute an expressive continuous-time compositional modelling formalism, featuring stochastic timing and nondeterministic as well as probabilistic branching, all supported in one model. They span as special cases, the models of dis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1898428332eb1566770221e67c3e88d7
https://hdl.handle.net/11858/00-001M-0000-002C-9E81-C
https://hdl.handle.net/11858/00-001M-0000-002C-9E81-C
Autor:
Hartmanns, Arnd
The formal methods approach to develop reliable and efficient safety- or performance-critical systems is to construct mathematically precise models of such systems on which properties of interest, such as safety guarantees or performance requirements
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fd9fb18d2aa61e1ef88845270eb5719c
Autor:
Tingting Han
Publikováno v:
Ausgezeichnete Informatikdissertationen
Enschede : Univ. Twente, IPA dissertation series 2009-21, XII, 191 S. : graph. Darst. (2009). = Zugl.: Aachen, Techn. Hochsch., Diss., 2009
Enschede : Univ. Twente, IPA dissertation series 2009-21, XII, 191 S. : graph. Darst. (2009). = Zugl.: Aachen, Techn. Hochsch., Diss., 2009
This dissertation considers three important aspects of model checking Markov models: diagnosis — generating counterexamples, synthesis — providing valid parameter values and analysis — verifying linear real-time properties. The three aspects ar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8bc07a5864f2c3ebdc1d3af8e862ec3e
https://doi.org/10.3990/1.9789036528580
https://doi.org/10.3990/1.9789036528580
Autor:
Greifeneder, Jürgen
Die Architekturen vieler technischer Systeme sind derzeit im Umbruch. Der fortschreitende Einsatz von Netzwerken aus intelligenten rechnenden Knoten führt zu neuen Anforderungen an den Entwurf und die Analyse der resultierenden Systeme. Dabei spielt
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8381efa4cd919bf65c78cea5c52298b6
https://kluedo.ub.rptu.de/frontdoor/index/index/docId/1923
https://kluedo.ub.rptu.de/frontdoor/index/index/docId/1923
Autor:
Rebolledo Wueffer, Mario
Zugl.: Stuttgart, Univ., Diss., 2004.
Print-Ausg. bei Shaker, Aachen erschienen.
Print-Ausg. bei Shaker, Aachen erschienen.
Externí odkaz:
http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB11814255
Autor:
Rebolledo, Mario
History has demonstrated during the 20th century that industrial development carries hazards that should not be ignored because they endanger humans, the environment and production facilities. For this reason, continuous development of new production
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::db6eec17fa253dadcc7d9b115169c8ce
http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-22676
http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-22676
Autor:
Klauck, Hartmut
Wir haben Interaktion in der Kommunikationskomplexität untersucht und dabei die drei Modi probabilistische, (beschränkt) nichtdeterministische und quantenmechanische Kommunikation betrachtet. Bei allen drei Modi haben wir herausgefunden, dass Inter
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______603::3e25cb1ddd6703b791241fb883326a33
http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/5494
http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/5494