PRINCIPIA
ProductsDocumentationsAbout Us

SyncStitch: 並行システムのモデル化・検査ツール

SyncStitch 文書

userguide.pdf SyncStitch ユーザガイド (PDF)
reference.pdf SyncStitch リファレンスマニュアル (PDF)
SyncStitch-AtAGlance.pdf SyncStitch リファレンスシート (PDF)

SyncStitch を使った並行システムの設計トレーニングプログラムを提供しています.

こちらにも関連文書があります。

© 2013-2017 PRINCIPIA Limited