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
Anotácia:
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.
 

Kľúčové slová

verifikace ověřování modelu abstraktní model DiVinE výtah controller
 
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 4. 1. 2010
Identifikátor: https://is.muni.cz/th/uedxb/

Obhajoba závěrečné práce

  • Obhajoba proběhla 1. 2. 2010
  • Vedúci: prof. RNDr. Jiří Barnat, Ph.D.
  • Oponent: prof. RNDr. Luboš Brim, CSc.

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky
Složka Odkaz na adresář do lokálního úložiště instituce

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Applied Informatics / Applied Informatics

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.
  • Žádné práce na příbuzné téma.