新機能 イベントメッセージの予約機能を追加しました。イベント主催者様は、参加者へのメッセージ送信を事前に予約できます。詳しくはこちらをご確認ください。

新機能 イベント詳細画面に「参加者への情報」欄を追加しました。イベント管理者、発表者、参加者(抽選中や補欠は除く)だけに表示されるフィールドです。詳しくはこちら

このエントリーをはてなブックマークに追加

Sep

2

並行システムの設計検証 正常終了と発散の拒否

Organizing : 株式会社 PRINCIPIA

Hashtag :#SyncStitch
Registration info

一般

1000 (Pre-pay)

FCFS
4/10

About Prepayment

About Prepayment Contact Info:

(Only shown to attendees.)

Cancel/Refund Policy:

お申し込み後のキャンセルはできません.セミナーについての説明をよくお読みいただき,十分ご検討の上お申し込みください.

Print receipt data:

発行しない (詳しくはこちら)

Description

セミナーの内容

正常終了と発散の拒否について解説します.

プログラム

  • 終了プロセスの拒否
  • 発散しているプロセスの拒否
  • 練習問題

講師について

株式会社 PRINCIPIA 代表取締役 初谷 久史

CSP 理論に基づいたモデリング・検査ツール SyncStitch 開発者

国立情報学研究所トップエスイープロジェクト「並行システムの設計検証」講師

セミナー参加の前提条件

前提知識 (and)

  • 並行システムの設計検証1日集中セミナーまたは全6回シリーズ相当の知識
  • 正常終了するプロセス SKIP の知識

必要なもの

配布物と Zoom URL

イベントの申し込み締め切り時刻後に CONNPASS のメッセージにてお知らせします.

注意事項

  • 配布資料の公開は禁止です.

参考書

連絡先

ご質問等がありましたら isaac@principia-m.com までお気軽にご連絡ください.

Media View all Media

If you add event media, up to 3 items will be shown here.

Ended

2020/09/02(Wed)

20:30
21:30

Registration Period
2020/08/26(Wed) 00:00 〜
2020/09/02(Wed) 20:00

Location

Zoom

オンライン

Zoom

Organizer

Attendees(4)

niszet

niszet

並行システムの設計検証 正常終了と発散の拒否 に参加を申し込みました!

tkokamo

tkokamo

並行システムの設計検証 正常終了と発散の拒否に参加を申し込みました!

Nobu19800

Nobu19800

並行システムの設計検証 正常終了と発散の拒否 に参加を申し込みました!

Tute

Tute

並行システムの設計検証 正常終了と発散の拒否 に参加を申し込みました!

Attendees (4)