https://github.com/xstupi00/Theoretical-Assignments

Elaborated projects with theoretical assignments during the master's degree.
https://github.com/xstupi00/Theoretical-Assignments

automata complexity information-security markov-chain petri-nets statistics storm vut vut-fit

Last synced: about 1 month ago
JSON representation

Elaborated projects with theoretical assignments during the master's degree.

• Host: GitHub
• URL: https://github.com/xstupi00/Theoretical-Assignments
• Owner: xstupi00
• License: mit
• Created: 2021-08-06T11:49:59.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2021-08-13T08:15:02.000Z (over 3 years ago)
• Last Synced: 2024-10-24T08:28:07.324Z (6 months ago)
• Topics: automata, complexity, information-security, markov-chain, petri-nets, statistics, storm, vut, vut-fit
• Homepage:
• Size: 3.86 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Theoretical Assignments 

## Finished projects from the following subjects:

- Theoretical Computer Science

- Statistics and Probability

- Model-Based Analysis

- Complexity

- Information System Security

- Static Analysis and Verification

##### Autor: Šimon Stupinský