Pinned Repositories
DataScienceProject
on-symbolic-controllability
MSc Dissertation
optimal-monitor
sym-cont
A tool that checks for monitor controllability.
discotec.github.io
The website of DisCoTec - the International Federated Conference on Distributed Computing Techniques
CPS2002MFJX
Repository used for the assignment of CPS2002
Crypto-Assignment
jasmine97xuereb's Repositories
jasmine97xuereb/sym-cont
A tool that checks for monitor controllability.
jasmine97xuereb/optimal-monitor
jasmine97xuereb/on-symbolic-controllability
MSc Dissertation
jasmine97xuereb/DataScienceProject