Výsledky vyhledávání

1

Obálka

Basic model checking problems for stochastic games

Autor Brožek, Václav
Vydáno 2009

Získat plný text

VŠ práce nebo rukopis

2

Obálka

Controller synthesis for markov decision processes with branching - time objectives

Autor Forejt, Vojtěch, 1984-
Vydáno 2009

Získat plný text

VŠ práce nebo rukopis

3

Obálka

Deciding regular properties in simple process algebras

Autor Kučera, Antonín, 1971-
Vydáno 1999

VŠ práce nebo rukopis

4

Obálka

Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012 /

Vydáno 2013

Kniha

5

Obálka

Parameter Synthesis in Continuous-Time Stochastic Systems /

Autor Korenčiak, Ľuboš
Vydáno 2018

Získat plný text

VŠ práce nebo rukopis

6

Obálka

Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds

Autor Krčál, Jan, 1976-
Vydáno 2014

Získat plný text

VŠ práce nebo rukopis

7

Obálka

Automatic Bug-finding Techniques for Large Software Projects

Autor Slabý, Jiří
Vydáno 2014

Získat plný text

VŠ práce nebo rukopis

8

Obálka

Symbolic Execution and Program Loops

Autor Trtík, Marek
Vydáno 2014

Získat plný text

VŠ práce nebo rukopis

9

Obálka

Modal Transition Systems: Extensions and Analysis

Autor Křetínský, Jan, 1984-
Vydáno 2014

Získat plný text

VŠ práce nebo rukopis

10

Obálka

Controller Synthesis for Resource-Aware Systems /

Autor Novotný, Petr, 1986-
Vydáno 2015

Získat plný text

VŠ práce nebo rukopis

11

Obálka

Mathematical foundations of computer science 2010 : 35th International Symposium, MFCS 2010 : Brno, Česká republika, August 23-27, 2010 : proceedings /

Vydáno 2010

Kniha