archi_to_nusmv
====== Differences ====== This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
archi_to_nusmv [2020/07/12 23:48] pszwed |
archi_to_nusmv [2020/07/12 23:49] (current) pszwed |
||
|---|---|---|---|
| Line 154: | Line 154: | ||
| Following the instructions in: [[https://github.com/archimatetool/archi/wiki/Developing-Import-and-Export-Plug-ins]] | Following the instructions in: [[https://github.com/archimatetool/archi/wiki/Developing-Import-and-Export-Plug-ins]] | ||
| - | - Download the | + | - Download the [[http://home.agh.edu.pl/~pszwed/archi/pl.edu.agh.kis.pszwed.archi.nusmvexport_1.0.0.202007122336.jar|compiled plugin (JAR)]] controlling the model generation |
| - | [[http://home.agh.edu.pl/~pszwed/archi/pl.edu.agh.kis.pszwed.archi.nusmvexport_1.0.0.202007122336.jar|compiled plugin (JAR)]] controlling the model generation | + | |
| - Copy it to the //dropins// directory | - Copy it to the //dropins// directory | ||
| - Restart Archi | - Restart Archi | ||
archi_to_nusmv.txt · Last modified: 2020/07/12 23:49 by pszwed
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
