menu
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
menu [2020/03/03 08:21] pullonen |
menu [2020/03/30 21:24] pullonen |
||
|---|---|---|---|
| Line 6: | Line 6: | ||
| * [[pleak-frontend_features|Features]] | * [[pleak-frontend_features|Features]] | ||
| * [[pleak-backend|Backend]] | * [[pleak-backend|Backend]] | ||
| - | * [[pe-bpmn-editor|PE-BPMN editor]] | + | * [[pe-bpmn-editor|PE-BPMN]] |
| - | * [[pe-bpmn-editor_pebpmn|PE-BPMN]] | + | * [[pe-bpmn-editor_pebpmn|PE-BPMN language]] |
| * [[pe-bpmn-editor_simpledisclosure|Analysis]] | * [[pe-bpmn-editor_simpledisclosure|Analysis]] | ||
| * [[pe-bpmn-editor_stereotypes|Stereotypes]] | * [[pe-bpmn-editor_stereotypes|Stereotypes]] | ||
| Line 59: | Line 59: | ||
| * [[sql-derivative-sensitivity-analyser_demo|SQL sensitivity and guessing advantage example model]] | * [[sql-derivative-sensitivity-analyser_demo|SQL sensitivity and guessing advantage example model]] | ||
| * [[Composition-modeler| Composition Modeler]] | * [[Composition-modeler| Composition Modeler]] | ||
| + | * [[leakage-detection| Leakage Detection]] | ||
| * [[research | Research papers]] | * [[research | Research papers]] | ||
menu.txt · Last modified: 2020/03/30 21:24 by pullonen
Page Tools
