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

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.

Group

PRINCIPIA

Number of events 82

Members 226

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)