Bc. Ondřej Plotěný

Bachelor's thesis

Vytvoření modelu výtahů se sběrným řízením

Creation of the Lifts Model with a Gathering Management
Abstract:
Vytvořit v modelovacím jazyce DVE model výtahů dle zadání vedoucího práce. Model bude obsahovat několik variant sběrného řízení. Student popíše několik formulí v logice LTL pro specifikaci modelu.
Abstract:
Create a model of elevators in modeling language DVE according to supervisor's submission. The model will include several variants of the assembly procedure. Student describes several formulas in the logic LTL to specify the model.
 

Keywords

verifikace ověřování modelu abstraktní model DiVinE výtah controller
 
Language used: Czech
Date on which the thesis was submitted / produced: 4. 1. 2010
Identifier: https://is.muni.cz/th/uedxb/

Thesis defence

  • Date of defence: 1. 2. 2010
  • Supervisor: prof. RNDr. Jiří Barnat, Ph.D.
  • Reader: prof. RNDr. Luboš Brim, CSc.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.