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

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

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

Aug

19

並行システムの設計検証 プロセスの正常終了と逐次合成

Organizing : 株式会社 PRINCIPIA

Hashtag :#SyncStitch
Registration info

一般

2000 (Pre-pay)

FCFS
5/15

About Prepayment

About Prepayment Contact Info:

(Only shown to attendees.)

Cancel/Refund Policy:

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

Print receipt data:

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

Description

セミナーの内容

プロセスの正常終了と逐次合成について解説します。

プログラム

  • プロセスの正常終了と終了イベント
  • 逐次合成
  • プロセスの再利用
  • プロセスの合流
  • メモプロセス

講師について

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

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

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

セミナー参加の前提条件

前提知識

  • 並行システムの設計検証1日集中セミナーまたは全6回シリーズ相当の知識

必要なもの

Zoom URL

CONNPASS のメッセージにてお知らせします。

配布物

スライド資料(PDF)とモデルファイルを CONNPASS のメッセージにて配布します.

注意事項

  • 配布スライド資料の公開は禁止です.

参考書

連絡先

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

Media View all Media

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

Ended

2020/08/19(Wed)

20:30
21:30

Registration Period
2020/08/05(Wed) 00:00 〜
2020/08/19(Wed) 20:00

Location

Zoom

オンライン

Zoom

Organizer

Attendees(5)

TakeshiHori

TakeshiHori

並行システムの設計検証 プロセスの正常終了と逐次合成 に参加を申し込みました!

tkokamo

tkokamo

並行システムの設計検証 プロセスの正常終了と逐次合成に参加を申し込みました!

Nobu19800

Nobu19800

並行システムの設計検証 プロセスの正常終了と逐次合成 に参加を申し込みました!

RyosukeNakagawa

RyosukeNakagawa

並行システムの設計検証 プロセスの正常終了と逐次合成 に参加を申し込みました!

Tute

Tute

並行システムの設計検証 プロセスの正常終了と逐次合成 に参加を申し込みました!

Attendees (5)