Projects
Z ApolloWiki
Projects
Projects
Martin Trnečka
Jiří Balun, Jiří Valůšek
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