Zobrazeno 1 - 10
of 262
pro vyhledávání: '"de Boer, F.S."'
Publikováno v:
In Physics and Chemistry of the Earth 2014 76-78:16-27
Publikováno v:
In Information and Computation 25 August 2000 161(1):45-83
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.
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
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:
Languages: From Formal to Natural ISBN: 9783642017476
Languages: From Formal to Natural
Languages: from formal to natural: Essays dedicated to Nissim Francez on the occasion of his 65th birthday, 1-21
STARTPAGE=1;ENDPAGE=21;TITLE=Languages: from formal to natural: Essays dedicated to Nissim Francez on the occasion of his 65th birthday
Languages: From Formal to Natural
Languages: from formal to natural: Essays dedicated to Nissim Francez on the occasion of his 65th birthday, 1-21
STARTPAGE=1;ENDPAGE=21;TITLE=Languages: from formal to natural: Essays dedicated to Nissim Francez on the occasion of his 65th birthday
We argue that verification of recursive programs by means of the assertional method of C.A.R. Hoare can be conceptually simplified using a modular reasoning. In this approach some properties of the program are established first and subsequently used
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::314864916dda839831ef41cc7595eb8d
https://doi.org/10.1007/978-3-642-01748-3_1
https://doi.org/10.1007/978-3-642-01748-3_1
Publikováno v:
Aichernig, B K, Arbab, F, Astefanoaei, L, de Boer, F S, Meng, S & Rutten, J J M M 2009, Fault-Based Test Case Generation for Component Connectros . in Proc. 3rd IEEE Symposium on Theoretical Aspects of Software Engineering-TASE'09 . IEEE Computer Society Press, pp. 147-154 .
Proc. 3rd IEEE Symposium on Theoretical Aspects of Software Engineering-TASE'09, 147-154
STARTPAGE=147;ENDPAGE=154;TITLE=Proc. 3rd IEEE Symposium on Theoretical Aspects of Software Engineering-TASE'09
Proc. 3rd IEEE Symposium on Theoretical Aspects of Software Engineering-TASE'09, 147-154
STARTPAGE=147;ENDPAGE=154;TITLE=Proc. 3rd IEEE Symposium on Theoretical Aspects of Software Engineering-TASE'09
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::63bdde6b84f09d51a069d2254c61811e
https://research.vu.nl/en/publications/2042f778-f0fc-4114-bdff-cda7f23e8417
https://research.vu.nl/en/publications/2042f778-f0fc-4114-bdff-cda7f23e8417