サクサク読めて、アプリ限定の機能も多数!
gonsuke777 のブックマーク 2020/10/02 13:12
形式手法による分散システムの検証 #builderscon / builderscon tokyo 2019[トランザクション]2020/10/02 13:12
このブックマークにはスターがありません。 最初のスターをつけてみよう!
speakerdeck.com/ytaka232019/08/31
builderscon tokyo 2019 で使用したスライドです。 本セッションでは、形式手法 (formal methods) を用いた分散アルゴリズムの検証について解説しました。形式手法は、数学的な表現を用いて対象となるシステムを...
68 人がブックマーク・6 件のコメント
\ コメントが サクサク読める アプリです /
gonsuke777 のブックマーク 2020/10/02 13:12
このブックマークにはスターがありません。
最初のスターをつけてみよう!
形式手法による分散システムの検証 #builderscon / builderscon tokyo 2019
speakerdeck.com/ytaka232019/08/31
builderscon tokyo 2019 で使用したスライドです。 本セッションでは、形式手法 (formal methods) を用いた分散アルゴリズムの検証について解説しました。形式手法は、数学的な表現を用いて対象となるシステムを...
68 人がブックマーク・6 件のコメント
\ コメントが サクサク読める アプリです /