Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Jezequel, Loig"'
Publikováno v:
In Information and Computation February 2022 283
Publikováno v:
EPTCS 220, 2016
This volume contains the joint proceedings of the Workshop on Games for the Synthesis of Complex Systems (CASSTING'16) and of the 3rd International Workshop on Synthesis of Complex Parameters (SynCoP'16). The workshops were held in Eindhoven, The Net
Externí odkaz:
http://arxiv.org/abs/1608.00177
We study the following summarization problem: given a parallel composition A=A1||...||An of labelled transition systems communicating with the environment through a distinguished component Ai, efficiently compute a summary Si such that E||A and E||Si
Externí odkaz:
http://arxiv.org/abs/1310.2143
Publikováno v:
In IFAC PapersOnLine 2018 51(7):106-111
Autor:
Jezequel, Loïg, Fabre, Éric
Publikováno v:
In IFAC Proceedings Volumes January 2011 44(1):7012-7017
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.
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.