Zobrazeno 1 - 10
of 67
pro vyhledávání: '"Ahrendt, W."'
Publikováno v:
Ahrendt, W. (ed.), Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, 246-264. Cham : Springer
STARTPAGE=246;ENDPAGE=264;ISSN=0302-9743;TITLE=Ahrendt, W. (ed.), Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019
Ahrendt, W. (ed.), Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, pp. 246-264
Tarifa, S. ahrendt w.tapia, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 15th International Conference on Integrated Formal Methods, IFM 2019, 2 December 2019 through 6 December 2019, 246-264
STARTPAGE=246;ENDPAGE=264;ISSN=0302-9743;TITLE=Ahrendt, W. (ed.), Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019
Ahrendt, W. (ed.), Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, pp. 246-264
Tarifa, S. ahrendt w.tapia, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 15th International Conference on Integrated Formal Methods, IFM 2019, 2 December 2019 through 6 December 2019, 246-264
Various relations have been defined to express refinement and conformance for state-transition systems with inputs and outputs, such as ioco and uioco in the area of model-based testing, and alternating simulation and alternating-trace containment or
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d16e2f420344ad43184f2222fe04bf57
http://arxiv.org/abs/1909.13604
http://arxiv.org/abs/1909.13604
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:
Ahrendt, W. (ed.), Deductive Software Verification-The KeY Book-From Theory to Practice, 609-618. Cham : Springer
STARTPAGE=609;ENDPAGE=618;ISSN=0302-9743;TITLE=Ahrendt, W. (ed.), Deductive Software Verification-The KeY Book-From Theory to Practice
Ahrendt, W. (ed.), Deductive Software Verification-The KeY Book-From Theory to Practice, pp. 609-618
STARTPAGE=609;ENDPAGE=618;ISSN=0302-9743;TITLE=Ahrendt, W. (ed.), Deductive Software Verification-The KeY Book-From Theory to Practice
Ahrendt, W. (ed.), Deductive Software Verification-The KeY Book-From Theory to Practice, pp. 609-618
Item does not contain fulltext
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::95ef20860534a481b71b6957abaf2edc
http://hdl.handle.net/2066/163150
http://hdl.handle.net/2066/163150
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.
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.
Conference
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.