Theses on the same topic (having an identical keyword):
systems with real timeKeywords ordered alphabetically | Keywords ordered by occurrence rate
Parameter Synthesis for Systems with Real Time
(Peter Bezděk)2017, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/i4kyb/ | Informatika (čtyřleté) / Informatika | Theses on a related topic
Parameter Synthesis for Systems with Real Time
(Peter Bezděk)2014, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/c3v4n/ | Informatika / | Theses on a related topic
Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds
(Jan Krčál)2013, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zefvh/ | Informatika (čtyřleté) / Informatika | Theses on a related topic
Probabilistic Timed Systems with Non-Determinism
(Jan Křetínský)2011, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ux3js/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
Analysis of selected silvicultural systems with regard to their economic efficiency and sustainability
(Dmytro Khmarskyi)2020, Diplomová práce, Fakulta lesnická a dřevařská / Česká zemědělská univerzita v Praze
• http://theses.cz/id//wkw8u9// | Lesní inženýrství / Forestry, Water and Landscape Management | Theses on a related topic