My PhD thesis.
Updated 1 month ago
Updated 2 months ago
Updated 1 year ago
Updated 1 year ago
A framework for executable UC specifications.
Updated 2 years ago
Updated 2 years ago
Updated 2 years ago
Updated 3 years ago
Updated 3 years ago
Updated 3 years ago
Updated 3 years ago
Updated 3 years ago
Updated 3 years ago
Updated 3 years ago
Updated 3 years ago