Projects

Z ApolloWiki
Verze z 8. 12. 2021, 20:22, kterou vytvořil Prochazka vaclav (diskuse | příspěvky)
(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)
Přejít na:navigace, hledání

Projects

Projects

IGA PrF 2023 026

IGA PrF 2023 026

Martin Trnečka
Jiří Balun, Jiří Valůšek

IGA PrF 2022 018

IGA PrF 2022 018

Martin Trnečka
Jiří Balun, Jiří Valůšek

Verification and Control of Networked Discrete Event Systems

Verification and Control of Networked Discrete Event Systems

Tomáš Masopust, Jan Komenda
Jiří Balun, Stéphane Lafortune, Spyros Reveliotis, Feng Lin

Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems

Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems

Jan Komenda, Jörg Raisch
Tomáš Masopust, Thomas Moor


Citováno z „https://apollo.inf.upol.cz/mediawiki/index.php?title=Projects&oldid=2886“