Wyniki wyszukiwania dla: Jan Komenda
Discrete Event Dynamic Systems > 2017 > 27 > 4 > 585-608
Lecture Notes in Computer Science > Formal Methods for Components and Objects > System Design > 44-63
Discrete Event Dynamic Systems > 2016 > 26 > 3 > 413-437
Discrete Event Dynamic Systems > 2015 > 25 > 1-2 > 323-344
Discrete Event Dynamic Systems > 2015 > 25 > 1-2 > 65-94
53rd IEEE Conference on Decision and Control > 5149 - 5155