Zpět na vyhledávání

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

metric interval temporal logic

Keywords 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

List of theses with an identical keyword.

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