Návrh a implementace nástroje pro formální verifikaci systémů specifikovaných jazykem RT logiky – Jan Fiedor
Jan Fiedor
Master's thesis
Návrh a implementace nástroje pro formální verifikaci systémů specifikovaných jazykem RT logiky
Language used: Czech
Date on which the thesis was submitted / produced: 1. 2. 2016
Thesis defence
Citation record
ISO 690-compliant citation record:
FIEDOR, Jan. \textit{Návrh a implementace nástroje pro formální verifikaci systémů specifikovaných jazykem RT logiky}. Online. Master's thesis. Brno: Brno University of Technology. 2016. Available from: https://theses.cz/id/8r2g2w/.
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Vysoké učení technické v Brně
Master programme:
Informační technologie
Theses on a related topic
- No theses on a related topic available.
Name
Posted by
Uploaded/Created
Rights