Práce na stejné téma (mají shodná klíčová slova):

temporal logic

Klíčová slova abecedně | Klíčová slova dle četnosti

« 1 2 » (celkem 14 prací)
Quantitative Probabilistic Verification in Distributed Environment
 (Jiří Appl)

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

• https://is.muni.cz/th/hrhwt/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

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 | Práce na příbuzné téma

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 | Práce na příbuzné téma

Antické a středověké inspirace temporální logiky A. N. Priora
 (Zuzana RYBAŘÍKOVÁ)

2012, Diplomová práce, Filozofická fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI

• http://theses.cz/id//rnb7uj// | Humanitní studia / Filozofie - Historie | Práce na příbuzné téma

« 1 2 » (celkem 14 prací)