Zpět na vyhledávání

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

fixed-delay events

Keywords ordered alphabetically | Keywords ordered by occurrence rate

Rozšíření nástroje PRISM o analýzu Markovových řetězců spojitého času s fixními událostmi
 (Adrian Farmadin)

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

• https://is.muni.cz/th/kgyh6/ | Informatika / Bezpečnost informačních technologií | Theses on a related topic

List of theses with an identical keyword.

Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds
 (Jan Krčál)

2013, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/zefvh/ | Informatika (čtyřleté) / Informatika | Theses on a related topic