====== Differences ====== This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
topbar [2013/06/22 00:18] pszwed created |
topbar [2016/05/18 15:27] (current) pszwed |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | * [[research_area|Research area]] | + | *[[start|Home]] |
- | * [[papers|Publications]] | + | *[[research|Research]] |
+ | *[[fuzzy_semantic_petri_nets|Fuzzy Semantic Petri]] | ||
+ | *[[is_security_risk_assesment|IT Security Risk]] | ||
- | * [[projects|Projects]] | + | *[[papers|Publications]] |
- | * [[ontologies|Ontologies]] | + | *[[projects|Projects]] |
- | * [[software|Software]] | + | *[[ontologies|Ontologies]] |
+ | |||
+ | *[[software|Software]] | ||
+ | *[[archi_to_owl|Archimate to OWL]] | ||
+ | *[[archi_to_nusmv|Archimate to nuSMV]] | ||