https://github.com/isabelle-theory/PredictiveRuntimeEnforcement
Tip revision: 0035a0ef066f865dc9b971df9e259d4ca6419f6e authored by isabelle-theory on 14 December 2015, 10:12:24 UTC
- updated document.
- updated document.
Tip revision: 0035a0e
File | Mode | Size |
---|---|---|
Predictive.thy | -rw-r--r-- | 27.9 KB |
README.md | -rw-r--r-- | 99 bytes |
document.pdf | -rw-r--r-- | 209.1 KB |