#
vut
Here are 35 public repositories matching this topic...
VUTBR - FIT: TIN 2018/2019
computer-science context-free reduction complexity finite-state-machine fit recursive regular turing-machine pushdown-automaton tin finite-state-automaton formal-languages vutbr vut completeness decidability recursively-enumerable
-
Updated
Jan 13, 2019 - TeX
VUTBR - FIT: ITT & IBT 2017/2018 - Continuous Integration and Automated Code Review in Open Source Projects
latex thesis continuous-integration fit bachelor-thesis bachelor open-source-project vutbr vut itt ibt automated-code-review
-
Updated
Jan 20, 2019 - TeX
Analýza systémů založená na modelech - Projekty
markov-chain petri-nets markov-decision-processes vut timed-automata mba vut-fit model-based-analysis ce-systems
-
Updated
May 16, 2020 - TeX
Elektronika pro informační technologie - semestrální projekt
-
Updated
Feb 17, 2017 - TeX
-
Updated
Jun 12, 2017 - TeX
Static Analysis and Verification - Project - PRISM
prism bdd static-analysis markov-chain verification model-checking markov-decision-processes stochastic-processes vut probabilistic-models sav vut-fit pctl
-
Updated
Dec 22, 2020 - TeX
Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
c java facebook cpp article static-analysis ocaml concurrency program-analysis abstract-interpretation atomicity vut vut-fit facebook-infer excel-at-fit atomicity-violation concurrent-programs contracts-for-concurrency atomer
-
Updated
May 7, 2021 - TeX
[IBT] Web Kanban
javascript tex angular latex csharp thesis bit school-project fit asp-net-core bachelor-thesis vut but ibt
-
Updated
Nov 10, 2020 - TeX
Improve this page
Add a description, image, and links to the vut topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the vut topic, visit your repo's landing page and select "manage topics."