 Achim D. Brucker
|
3872533f64
|
Improved Markdown.
|
2018-08-06 11:02:27 +02:00 |
|
Achim D. Brucker
|
71818a1961
|
Added information about master git repository.
|
2018-08-06 10:52:30 +02:00 |
|
Achim D. Brucker
|
1c045346d7
|
Added license information.
|
2018-08-06 10:50:19 +02:00 |
|
Achim D. Brucker
|
3c3e98fbc0
|
Improved Markdown.
|
2018-05-13 10:46:46 +02:00 |
|
Achim D. Brucker
|
2d71ef8895
|
Minor cleanup.
|
2016-10-22 21:56:28 +01:00 |
|
Achim D. Brucker
|
57a43ff1df
|
Updated README.md to reflect that the XACML libraries are now in an independent subproject.
|
2015-06-08 08:48:06 +02:00 |
|
Achim D. Brucker
|
71df78d3f5
|
Added publications.
|
2015-05-30 22:05:08 +02:00 |
|
Achim D. Brucker
|
15eb1b35d1
|
Fixed publication section level.
|
2015-05-30 16:14:57 +02:00 |
|
Achim D. Brucker
|
7ab2500c92
|
Re-added updated README.md (reflecting new directory structure).
|
2015-05-30 16:14:08 +02:00 |
|
Achim D. Brucker
|
601a4a97c4
|
Cleanup to establish a clean vendor branch setup.
|
2015-05-30 15:41:38 +02:00 |
|
Achim D. Brucker
|
07ce421461
|
Documented that SATMC is required for verification.
|
2015-05-25 09:02:37 +02:00 |
|
Achim D. Brucker
|
6a6a19be46
|
Fixed code formatting.
|
2015-05-24 20:29:05 +02:00 |
|
Achim D. Brucker
|
a7c6c1680c
|
Updated contributors.
|
2015-05-24 11:28:10 +02:00 |
|
Achim D. Brucker
|
c7a9345512
|
Added Screenshot.
|
2015-05-23 16:12:08 +02:00 |
|
Achim D. Brucker
|
b019547b93
|
Added note about where to find related publications.
|
2015-05-22 11:11:04 +02:00 |
|
Achim D. Brucker
|
ee85e75b3f
|
Updated Readme to reflext export of the SecureBPMN tool-chain from the Aniketos repository.
|
2015-05-20 18:42:25 +02:00 |
|
Achim D. Brucker
|
799e548411
|
Updated README.md to match renaming.
|
2015-05-17 21:10:05 +02:00 |
|
Achim D. Brucker
|
0dfa7ff965
|
Renamed CSVM-Designer to CSVM-Modelling-and-Validation.
|
2015-05-17 21:02:17 +02:00 |