要求定義・仕様記述・設計・検証の手引き - 理論から学ぶ明確で統一された成果物定義トップエスイー実践講座 第6巻 並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門 https://www.kindaikagaku.co.jp/book_list/detail/9784764904354/ スライド内の Communicating Sequential Process (CSP) の読みやすい参考文献です。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
