Zobrazeno 1 - 10
of 263
pro vyhledávání: '"Leuschel, M"'
Autor:
Reinhardt, S, Schmidt, J, Schneider, J, Schulte, E, Hartmann, C, Schüle, C, Leuschel, M, Schipper, J
Publikováno v:
Jahrestagung der Vereinigung Westdeutscher Hals-Nasen-Ohren-Ärzte; 20230310-20230311; Wuppertal; DOC58 /20230309/
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1175::27fb27edb0f8f5223daa8d6952ddcef8
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.
Publikováno v:
12th Transformation Tool Contest, co-located with the 2019 Software Technologies: Applications and Foundations, TTC@STAF 2019
12th Transformation Tool Contest, co-located with the 2019 Software Technologies: Applications and Foundations, TTC@STAF 2019, 2019, Amsterdam, Netherlands
Scopus-Elsevier
12th Transformation Tool Contest, co-located with the 2019 Software Technologies: Applications and Foundations, TTC@STAF 2019, 2019, Amsterdam, Netherlands
Scopus-Elsevier
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ffffc693b90c7e4970e226f0eae955d3
https://hal.archives-ouvertes.fr/hal-03265298
https://hal.archives-ouvertes.fr/hal-03265298
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.
Kniha
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.
Kniha
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.
We present a symbolic reachability analysis approach for B that can provide a significant speedup over traditional explicit state model checking. The symbolic analysis is implemented by linking ProB to LTSmin, a high-performance language independent
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3ee724f7e4431c7cf9495031ae28bd4b
Autor:
Stappers, F.P.M., Reniers, M.A., Groote, J.F., Boer, de, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M.
Publikováno v:
Formal Methods for Components and Objects ISBN: 9783642170706
FMCO
Formal Methods for Components and Objects (FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers), 166-185
STARTPAGE=166;ENDPAGE=185;TITLE=Formal Methods for Components and Objects (FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers)
FMCO
Formal Methods for Components and Objects (FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers), 166-185
STARTPAGE=166;ENDPAGE=185;TITLE=Formal Methods for Components and Objects (FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers)
Specifying concurrent systems can be done using a variety of languages. These languages have different features and therefore are not necessarily equally suitable for capturing concepts from reality with respect to both expressivity and ease-of-use.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::25a00b174e88a2b493bd28ec9e234200
https://doi.org/10.1007/978-3-642-17071-3_9
https://doi.org/10.1007/978-3-642-17071-3_9
Publikováno v:
Formal Methods for Components and Objects ISBN: 9783642170706
FMCO
Symposium on Formal Methods for Components and Objects, FMCO 2009, 311-337
STARTPAGE=311;ENDPAGE=337;TITLE=Symposium on Formal Methods for Components and Objects, FMCO 2009
FMCO
Symposium on Formal Methods for Components and Objects, FMCO 2009, 311-337
STARTPAGE=311;ENDPAGE=337;TITLE=Symposium on Formal Methods for Components and Objects, FMCO 2009
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs are closed under parallel composition and hiding, and show how IMCs can
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::52ea745edb4b70d3a822d360f45e6dfb
https://doi.org/10.1007/978-3-642-17071-3_16
https://doi.org/10.1007/978-3-642-17071-3_16