Zpět na vyhledávání

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

robustness analysis

Keywords ordered alphabetically | Keywords ordered by occurrence rate

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

Formal Analysis of Rule-Based Models in Systems Biology
 (Matej Troják)

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

https://is.muni.cz/th/lc8hj/ | Umělá inteligence a zpracování dat / | Theses on a related topic

String Analysis for Software Verification
 (Martina Olliaro)

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

https://is.muni.cz/th/ymhh2/ | Computer Science / Fundamentals of Computer Science | Theses on a related topic

Discrete bifurcation analysis of gene regulation motifs
 (Vladimír Bača)

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

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