このエントリーをはてなブックマークに追加
#静的コード解析の会 第4回@大阪

Ended 2017/08/06（Sun） 12:30〜

#静的コード解析の会 第4回@大阪

ARMマイコン上で動作するアプリケーションをVeriFastで検証しましょう！

masterq masterq

大阪府大阪市北区大深町 3-1 (グランフロント大阪タワー B 14F)

Group Information

Metasepi

組み込み/関数型プログラミング/コード検証などの話題を扱うコミュニティです

このグループのイメージ画像
Members 166 people
Number of events 19

Media List

スライド

masterq masterq

Hands-on VeriFast with STM32 microcontroller @ Osaka

投稿者:masterq

投稿日:Aug. 6, 2017, 9:34 a.m.

動画

動画はありません。

ブログなど

ブログはありません。