Professor, School of Electrical Engineering and Computer Science
-
University of Ottawa
- Ottawa, Canada
- http://www.site.uottawa.ca/~damyot/
Highlights
- Pro
Popular repositories Loading
-
Symboleo-IDE
Symboleo-IDE Public templateForked from Smart-Contract-Modelling-uOttawa/Symboleo-IDE
An IDE for the formal contract specification Symboleo is created using Xtext.
Xtend
-
Symboleo-Compliance-Checker
Symboleo-Compliance-Checker PublicForked from Smart-Contract-Modelling-uOttawa/Symboleo-Compliance-Checker
This repo contains the compliance checker for Symboleo.
Java
-
-
Log_fliting_API
Log_fliting_API PublicForked from Dwightu/Log_fliting_API
A new API based on Python with supporting functions that enable people to create useful and simple scripts that automate event log filtering.
Jupyter Notebook
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.