自動車機能安全カンファレンス
下記の自動車機能安全カンファレンスで，SPARK/Adaによる形式検証の講演があります． 日時：2019年12月5日（木） 場所：御茶ノ水ソラシティカンファレンスセンター 詳細：https://academy.impre...
カテゴリー: news
新しいコミュニティバージョンリリース
AdaCore 社から新しいコミュニティバージョンのリリースがアナウンスされています． micro:bitが，新たに正式の参照プラットフォームになっています． micro:bitを使用するためのインストール手順を少し補足...