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

May

12

条件変数のモデル化と分析の例

Organizing : 株式会社 PRINCIPIA

Hashtag :#SyncStitch
Registration info

一般

Free

FCFS
3/10

Description

設計を支援してくれるツール SyncStitch を使って条件変数をモデル化し,生産者・消費者問題を分析した例を紹介します.

ツールの詳細は省き,全体としてどんなことができるのかということを説明したいと思います.

申し込み締め切り後に Zoom meeting の URL を connpass のメッセージにてお知らせします.

※ 昨日(2021年5月11日)に行った「並行システムの設計と検証ツアー」と同内容です.内容により即したタイトルに替えました.

Media View all Media

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

Feed

Group

PRINCIPIA

Number of events 96

Members 245

Ended

2021/05/12(Wed)

20:00
21:00

Registration Period
2021/05/12(Wed) 00:00 〜
19:30

Location

Zoom

オンライン

Zoom

Organizer

Attendees(3)

protocol-42tokyo

protocol-42tokyo

条件変数のモデル化と分析の例に参加を申し込みました!

Kuniwak

Kuniwak

条件変数のモデル化と分析の例に参加を申し込みました!

Nobu19800

Nobu19800

条件変数のモデル化と分析の例 に参加を申し込みました!

Attendees (3)

Canceled (1)