jasmine97xuereb

Pinned Repositories

DataScienceProject
Language:Jupyter Notebook00
on-symbolic-controllability
MSc Dissertation
Language:OCaml00
optimal-monitor
Language:OCaml00
sym-cont
A tool that checks for monitor controllability.
Language:OCaml00
discotec.github.io
The website of DisCoTec - the International Federated Conference on Distributed Computing Techniques
Language:HTML24
CPS2002MFJX
Repository used for the assignment of CPS2002
Language:Java00
Crypto-Assignment
Language:Jupyter Notebook00

jasmine97xuereb's Repositories

jasmine97xuereb/sym-cont
A tool that checks for monitor controllability.
Language:OCaml
jasmine97xuereb/optimal-monitor
Language:OCaml
jasmine97xuereb/on-symbolic-controllability
MSc Dissertation
Language:OCaml
jasmine97xuereb/DataScienceProject
Language:Jupyter Notebook