Kiwamu Okabe さんの SlideShare でのスライド

1/5 ページ (全 68 件)

出典: http://www.slideshare.net/master_q

ATS2 updates 20173ヶ月前 by Kiwamu Okabe
RTOS application verified by VeriFast, and future plan5ヶ月前 by Kiwamu Okabe
Poster: Comparing ATS and VeriFast on RTOS system state8ヶ月前 by Kiwamu Okabe

Hands-on VeriFast with STM32 microcontroller9ヶ月前 by Kiwamu Okabe
Does Infer dream of design by contract?11ヶ月前 by Kiwamu Okabe
Real-time OS system state captured by ATS language1年以上前 by Kiwamu Okabe

Functional IoT: Introduction1年以上前 by Kiwamu Okabe
Functional IoT: Hardware and Platform1年以上前 by Kiwamu Okabe
Embedded application designed by ATS language2年弱前 by Kiwamu Okabe

Safer IoT using functional language2年弱前 by Kiwamu Okabe
Smart.js: JavaScript engine running on tiny MCU2年弱前 by Kiwamu Okabe
Kick-R: Get your own R instance with 36 cores on AWS2年弱前 by Kiwamu Okabe

ATS programming on ESP82662年弱前 by Kiwamu Okabe
ATS language overview'2年弱前 by Kiwamu Okabe
Static typing and proof in ATS language2年弱前 by Kiwamu Okabe

1234…次へ»