fedir/ICFS
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added credit

Browse Source
This commit is contained in:
fedir 2024-11-14 10:14:42 +01:00
parent 5501825d2e
commit feb2e6a07e
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
README.md
View File

@ -12,4 +12,7 @@ Traditional access control mechanisms in operating systems allow the same level
## Docs
* [Initial idea and motivation](./docs/bc-thesis-idea.md)
* [Some identified issues](./docs/bc-thesis-problems.md)
* [Formal specification](./docs/bc-thesis-specs.md)
* [Formal specification](./docs/bc-thesis-specs.md)
## Credit
*Student:* Fedir Kovalov
*Supervisor:* RNDr. Jaroslav Janáček, PhD.