Zobrazeno 1 - 10
of 22
pro vyhledávání: '"refinement relation"'
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.
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:
6th IFAC Conference on Analysis and Design of Hybrid System, ADHS 2018
6th IFAC Conference on Analysis and Design of Hybrid System, ADHS 2018, Jul 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.043⟩
ADHS
IFAC-Papers
6th IFAC Conference on Analysis and Design of Hybrid System, ADHS 2018, Jul 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.043⟩
ADHS
IFAC-Papers
International audience; In this paper, we consider the problem of symbolic model design for the class of incrementally stable switched systems. Contrarily to the existing results in the literature where switching is considered as periodically control
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5f89e1acfa4099144dc4dc6623876419
https://hal.archives-ouvertes.fr/hal-01760789/document
https://hal.archives-ouvertes.fr/hal-01760789/document
Autor:
Dhaou, Fatma
The main research topic of this thesis revolves around the use of sequence diagrams for the modeling of behaviours of distributed systems deemed as a complex problem. We especially address the application of refinement process for UML2.X sequence dia
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::653fd9fca586293fa2cd65c9650cdb1a
https://theses.hal.science/tel-01834778
https://theses.hal.science/tel-01834778
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:
the 11th International Joint Conference on Software Technologies {(ICSOFT} 2016)
the 11th International Joint Conference on Software Technologies 2016), Jul 2016, Lisbon, Portugal
ICSOFT-EA
HAL
the 11th International Joint Conference on Software Technologies 2016), Jul 2016, Lisbon, Portugal
ICSOFT-EA
HAL
International audience; Refinement process applied to UML2.0 Sequence Diagrams (SD) is adopted to deal with the complexity of modeling distributed systems. The various steps leading to the checking of the refinement of SDs theoretically as well as pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3df6bbee896ad5ff9c31f2965e8fdbfa
https://hal.archives-ouvertes.fr/hal-01686331/document
https://hal.archives-ouvertes.fr/hal-01686331/document
Autor:
Gologranc, Tanja
Publikováno v:
Maribor
Prvi del diplomskega dela govori o predstavitvah delnih urejenosti z družinami množic, kot so družina konveksnih poligonov, družina pravilnih n-kotnikov, družina krogov ipd. Lastnost, ki nam pomaga pri raziskovanju predstavitev delnih urejenosti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1857::a8052a0de696799750ba278f666b4ffd
https://plus.si.cobiss.net/opac7/bib/16790280?lang=sl
https://plus.si.cobiss.net/opac7/bib/16790280?lang=sl