Práce na stejné téma (mají shodná klíčová slova):
temporalni logikaKlíčová slova abecedně | Klíčová slova dle četnosti
Business Process Modeling: A Logical Perspective
(Martin Panuška)2008, Diplomová práce, Vysoká škola ekonomická v Praze
• http://www.vse.cz/vskp/eid/23100 | Aplikovaná informatika / Informační systémy a technologie | Práce na příbuzné téma
Quantitative Formal Methods for High-level Robot Path Planning
(Jana Tůmová)2013, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/e7447/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Modelování a verifikace platebního systému
(Marharyta Zhuk)2014, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/vyf09/ | Informatika / Informační systémy | Práce na příbuzné téma
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 | Práce na příbuzné téma
Specification and monitoring of oscillation properties in dynamical systems
(Petr Dluhoš)2012, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zsgyq/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Práce na příbuzné téma
Visual Specification of Temporal Properties over Time Series
(Tomáš Vejpustek)2011, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/hnk9a/ | Informatika / Matematická informatika | Práce na příbuzné téma
Implementace distribuovaného algoritmu v prostředí DiVinE
(Martin Pekárek)2006, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/o4yfs/ | Aplikovaná informatika / | Práce na příbuzné téma
Controller Synthesis for Markov Decision Processes with Branching - Time Objectives
(Vojtěch Forejt)2009, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/yvwbl/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Analysis of Knowledge in Sentences
(Aleš Horák)2008, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/n19bv/ | Informatika / | Práce na příbuzné téma
Paralelní ověřování kvalitativních vlastností pravděpodobnostních modelů
(Jana Tůmová)2006, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/n10ay/ | Aplikovaná informatika / | Práce na příbuzné téma