Theses on the same topic (having an identical keyword):
metric interval temporal logicKeywords ordered alphabetically | Keywords ordered by occurrence rate
Runtime Verification of Linear Temporal Specifications with Degradation
(Tomáš Staňa)2014, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ixwaf/ | Informatika / Matematická informatika | Theses on a related topic
Monitorování chování systémů
(Jiří Šimša)2006, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/leqje/ | Informatika / | Theses on a related topic