Petr JANČÍK
Bachelor's thesis
Stavové automaty
State Automata
Abstract:
Tento text je doprovodný dokument ke grafickému editoru stavových automatů s výstupem. Obsahuje hlavně popis uživatelského rozhraní a vnitřního fungování programu. Program je napsán v jazyce C# v prostředí Microsoft Visual Studio 2008.Abstract:
This text is an accompanying document to a graphical editor of state automata. It mainly describes the user interface and the architecture of the application. The program is written in C# programming language with Microsoft Visual Studion 2008.
Language used: Czech
Date on which the thesis was submitted / produced: 23. 5. 2012
Accessible from:: 23. 5. 2012
Thesis defence
- Supervisor: RNDr. Arnošt Večerka
Citation record
The right form of listing the thesis as a source quoted
JANČÍK, Petr. Stavové automaty. Olomouc, 2012. bakalářská práce (Bc.). UNIVERZITA PALACKÉHO V OLOMOUCI. Přírodovědecká fakulta
Full text of thesis
Accessibility: Autor si přeje zpřístupnit práci veřejnosti od 23.5.2012
Contents of on-line thesis archive
Published in Theses:- Soubory jsou od 23. 5. 2012 dostupné: světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: UNIVERZITA PALACKÉHO V OLOMOUCI, Přírodovědecká fakultaPALACKÝ UNIVERSITY IN OLOMOUC
Faculty of ScienceBachelor programme / field:
Computer Science / Applied Computer Science
Theses on a related topic
-
Automaty v nekonečně stavové formální verifikaci
Ondřej Lengál -
Automaty v nekonečně stavové formální verifikaci
Ondřej Lengál -
Stavové automaty
Petr JANČÍK -
Podnikatelský plán nového podniku provozujícího automaty na prodej čerstvé šťávy
Vojtěch Novotný -
Stavové automaty
Petr JANČÍK -
Modelování, simulace a optimalizace podnikového procesu v programu Witness
Filip Žilka -
Návrh nástroje pro ultrazvukové svařování - sonotrody - metodou numerické simulace
Jakub MOCEK -
Simulace a návrh řešení provozních problémů rektifikačních kolon ve výrobě VCM ve firmě Spolana s.r.o.
Martin Bár
Name
Posted by
Uploaded/Created
Rights