User Tools

Site Tools


menu

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
menu [2020/01/31 12:59]
pullonen
menu [2020/03/30 21:24]
pullonen
Line 1: Line 1:
 * [[pleak|PLEAK]] * [[pleak|PLEAK]]
   * [[pleak|PLEAK]]   * [[pleak|PLEAK]]
 +    * [[quick-guide| Quick Guide]]
     * [[pleak-installation|Installation]]     * [[pleak-installation|Installation]]
     * [[pleak-frontend|Frontend]]     * [[pleak-frontend|Frontend]]
       * [[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 58: 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