Šablona:Project query: Porovnání verzí
Z ApolloWiki
Bez shrnutí editace |
Bez shrnutí editace |
||
Řádek 11: | Řádek 11: | ||
| link=subject |
| link=subject |
||
| format={{{Format|plainlist}}} |
| format={{{Format|plainlist}}} |
||
| limit={{{Limit| |
| limit={{{Limit|10}}} |
||
| template=Display project in query |
| template=Display project in query |
||
| searchlabel={{{Searchlabel|<div type="button" class="btn btn-primary float-right">More results</div>}}} |
| searchlabel={{{Searchlabel|<div type="button" class="btn btn-primary float-right">More results</div>}}} |
Aktuální verze z 10. 7. 2022, 12:10
The query description has an empty condition.
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