Zobrazeno 1 - 10
of 1 093
pro vyhledávání: '"Abstract state machines"'
Autor:
FERRAROTTI, FLAVIO1 flavio.ferrarotti@scch.at, SCHEWE, KLAUS-DIETER1 kdschewe@acm.org, TEC, LOREDANA2 loredana.tec@risc-software.at, QING WANG3 qing.wang@anu.edu.au
Publikováno v:
Logic Journal of the IGPL. Oct2017, Vol. 25 Issue 5, p700-740. 41p.
Autor:
Mehdipour Ataee, Shahin1, Bayram, Zeki1
Publikováno v:
Scientific Programming. 1/24/2018, p1-20. 20p.
Autor:
Börger, Egon1 boerger@di.unipi.it, Schewe, Klaus-Dieter klaus-dieter.schewe@scch.at
Publikováno v:
Acta Informatica. Aug2016, Vol. 53 Issue 5, p469-492. 24p.
Autor:
Marinković, Bojan1 bojanm@mi.sanu.ac.rs, Glavan, Paola1,2 pglavan@fsb.hr, Ognjanović, Zoran1 zorano@mi.sanu.ac.rs
Publikováno v:
Theoretical Computer Science. Jan2019, Vol. 756, p64-93. 30p.
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.
Autor:
Arcaini, Paolo1 arcaini@d3s.mff.cuni.cz, Bonfanti, Silvia2,3, Gargantini, Angelo2, Mashkoor, Atif3, Riccobene, Elvinia4
Publikováno v:
Science of Computer Programming. Jun2018, Vol. 158, p148-167. 20p.
Publikováno v:
International Journal of Parallel, Emergent & Distributed Systems. Jan2018, Vol. 33 Issue 1, p35-51. 17p.
Publikováno v:
IEEE Open Journal of the Industrial Electronics Society, Vol 2, Pp 169-183 (2021)
This paper proposes a formal model for industrial cyber-physical systems (CPS) with distributed control based on IEC 61499 standard and supporting time-aware computations for better adaptation to the ever changing environment conditions. Main feature
Externí odkaz:
https://doaj.org/article/b30b0b5ea47446e0a712fb569329fdc3
Autor:
Yang, Zhibin1,2 Zhibin.Yang@irit.fr, Hu, Kai1 hukai@buaa.edu.cn, Ma, Dianfu1 dfma@buaa.edu.cn, Bodeveix, Jean-Paul2 bodeveix@irit.fr, Pi, Lei3 lei.pi@intecs.it, Talpin, Jean-Pierre4 Jean-Pierre.Talpin@inria.fr
Publikováno v:
Journal of Systems & Software. Jul2014, Vol. 93, p42-68. 27p.
Autor:
Arcaini, Paolo1 arcaini@d3s.mff.cuni.cz, Gargantini, Angelo2 angelo.gargantini@unibg.it, Riccobene, Elvinia3 elvinia.riccobene@unimi.it
Publikováno v:
International Journal on Software Tools for Technology Transfer. Apr2017, Vol. 19 Issue 2, p247-269. 23p.