Pinned Repositories
blockchain-project
Customs-Export-Process
BPM lifecycle implementation of the Customs Export Process
FedEthML
GRETEL
GRETEL a unified framework to develop and test Graph Counterfactual Explanations methods.
LTLpSeparator
Algorithm for the separation of LTLp formulae into a combination of pure temporal formulae
NSSK-protocol-PRISM
Modelling and model checking of the Needham-Schroeder Symmetric-Key (NSSK) Protocol using PRISM
xsk07's Repositories
xsk07/LTLpSeparator
Algorithm for the separation of LTLp formulae into a combination of pure temporal formulae
xsk07/Customs-Export-Process
BPM lifecycle implementation of the Customs Export Process
xsk07/GRETEL
GRETEL a unified framework to develop and test Graph Counterfactual Explanations methods.
xsk07/FedEthML
xsk07/NSSK-protocol-PRISM
Modelling and model checking of the Needham-Schroeder Symmetric-Key (NSSK) Protocol using PRISM