Bc. Ondřej Plotěný

Bakalářská práce

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

Creation of the Lifts Model with a Gathering Management
Anotace:
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.
 

Klíčová slova

verifikace ověřování modelu abstraktní model DiVinE výtah controller
 
Jazyk práce: čeština
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
  • Vedoucí: 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

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika

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

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