Zpět na vyhledávání

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

parameter synthesis

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 » (total: 13 theses)
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

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

Parameter Synthesis in Continuous-Time Stochastic Systems
 (Ľuboš Korenčiak)

2017, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/zaes9/ | Informatika (čtyřleté) / Informatika | Theses on a related topic

Abstraction-Based Analysis of Continuous-Time Models in System Biology
 (Jana Dražanová)

2022, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/bjes9/ | Informatika / Fundamenty informatiky | Theses on a related topic

Linear Temporal Logic and omega-automata
 (František Blahoudek)

2015, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/vvxpf/ | Informatika / | Theses on a related topic

Translation of Linear Temporal Logic to Omega-Automata
 (Tomáš Babiak)

2017, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/wqhsq/ | Informatika (čtyřleté) / Informatika | Theses on a related topic

Robustness Analysis of Extended Signal Temporal Logic STL*
 (Tomáš Vejpustek)

2013, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/eflnx/ | Informatika / Teoretická informatika | Theses on a related topic

« 1 2 » (total: 13 theses)