Narzędzie do specyfikacji i weryfikacji systemów równoczesnych za pomocą plasterków.
historia wersji
- Wersja N/A opublikowany na 2011-07-25
Kilka poprawek i aktualizacji - Wersja N/A opublikowany na 2011-07-25
Szczegóły programu
- Kategorii: Rozwoju > Innych
- Wydawca: slicefy.sf.net
- Licencji: Wolna
- Cena: N/A
- Wersja: Array
- Platformy: linux