Počet záznamů: 1
Le produit synchrone des automates (max,+)
- 1.
SYSNO ASEP 0330875 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Le produit synchrone des automates (max,+) Překlad názvu Synchronous product of **(max,+) **automataSynchronizovaný součin (max,+) automatu Tvůrce(i) Komenda, Jan (MU-W) RID, SAI, ORCID
Lahaye, S. (FR)
Boimond, J.-L. (FR)Zdroj.dok. Modélisation des systèmes réactifs : MSR 2009. - Paris : Lavoisier, 2009 / Roux Olivier H. ; Lime Didier - ISBN 2-7462-2601-4 Rozsah stran s. 1033-1047 Poč.str. 15 s. Akce 7ième Colloque Francophone sur la Modélisation des Systèmes Datum konání 16.11.2009-18.11.2009 Místo konání Nantes Země FR - Francie Typ akce WRD Jazyk dok. fre - francouzština Země vyd. FR - Francie Klíč. slova (max,+) automata ; synchronous product ; parallelism Vědní obor RIV BA - Obecná matematika CEZ AV0Z10190503 - MU-W (2005-2011) Anotace Synchronous products of (max,+) automata are introduced as multi-event (max,+) automata (which correspond to a class of timed automata with several clocks) and their behavior is studied. A formula for the behavior of synchronous product is obtained. Překlad anotace Synchronous products of (max,+) automata are introduced as multi-event (max,+) automata (which correspond to a class of timed automata with several clocks) and their behavior is studied. A formula for the behavior of synchronous product is obtained. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2010
Počet záznamů: 1