====== Differences ====== This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
topbar [2013/12/06 23:21] pszwed |
topbar [2016/05/18 15:27] (current) pszwed |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | * [[start|Home]] | + | *[[start|Home]] |
- | * [[research|Research]] | + | *[[research|Research]] |
- | * [[fuzzy_semantic_petri_nets|Fuzzy Semantic Petri Nets]] | + | *[[fuzzy_semantic_petri_nets|Fuzzy Semantic Petri]] |
- | * [[is_security_risk_assesment|IT Security Risk Assesment]] | + | *[[is_security_risk_assesment|IT Security Risk]] |
- | * [[papers|Publications]] | + | |
- | * [[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]] | ||