====== Differences ====== This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
topbar [2015/02/21 15:28] pszwed |
topbar [2016/05/18 15:27] (current) pszwed |
||
---|---|---|---|
Line 13: | Line 13: | ||
*[[software|Software]] | *[[software|Software]] | ||
*[[archi_to_owl|Archimate to OWL]] | *[[archi_to_owl|Archimate to OWL]] | ||
+ | *[[archi_to_nusmv|Archimate to nuSMV]] | ||