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: 11 theses)
Model Checking Based Parameter Synthesis of Dynamical Systems in Biology
 (Martin Demko)

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

• https://is.muni.cz/th/p96um/ | Informatika (čtyřleté) / Počítačové systémy a technologie | Theses on a related topic

List of theses with an identical keyword.

Parallel Parameter Synthesis for Hybrid Systems
 (Eva Šmijáková)

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

• https://is.muni.cz/th/varew/ | Aplikovaná 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

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 of Dynamical Systems via Model Checking
 (Martin Demko)

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

• https://is.muni.cz/th/iz2bt/ | Informatika / Počítačové systémy | 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

Zrychlení syntézy parametrů pro stochastické modely
 (Petr Pilař)

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

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

Syntéza parametrů pro sigmoidální kinetické modely
 (Aleš Pejznoch)

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

• https://is.muni.cz/th/r3s0e/ | Aplikovaná informatika / Bioinformatika | Theses on a related topic

Zrychlení syntézy parametrů pro stochastické modely
 (Petr Pilař)

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

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

Paralelní syntéza parametrů z formulí hybridní logiky HUCTL
 (Samuel Pastva)

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

• https://is.muni.cz/th/slugu/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic

« 1 2 » (total: 11 theses)