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

終了 2017/08/06（日） 12:30〜

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

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

masterq masterq 他

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

グループ情報

Metasepi

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

このグループのイメージ画像
メンバー数 165人
イベント数 19回

イベント資料一覧

スライド

masterq masterq

Hands-on VeriFast with STM32 microcontroller @ Osaka

投稿者:masterq

投稿日:2017年8月6日 09時34分

動画

動画はありません。

ブログなど

ブログはありません。