Zpět na vyhledávání

Theses on the same topic (having an identical keyword):

systems with real time

Keywords 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

List of theses with an identical keyword.

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