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