サクサク読めて、アプリ限定の機能も多数！
期待アゲ
tarotheripper のブックマーク 2019/06/11 22:45
このブックマークにはスターがありません。 最初のスターをつけてみよう！
builderscon.io2019/06/11
Abstract 本セッションでは、形式手法 (formal methods) を用いた分散システムの設計および実装について解説します。形式手法は、数学的な表現を用いて対象となるシステムを定式化することにより、システムの挙動...
13 人がブックマーク・3 件のコメント
＼ コメントが サクサク読める アプリです ／
期待アゲ
このブックマークにはスターがありません。
最初のスターをつけてみよう！
形式手法による分散システムの検証 - builderscon tokyo 2019
Abstract 本セッションでは、形式手法 (formal methods) を用いた分散システムの設計および実装について解説します。形式手法は、数学的な表現を用いて対象となるシステムを定式化することにより、システムの挙動...
13 人がブックマーク・3 件のコメント
＼ コメントが サクサク読める アプリです ／