21 Oct '15, 4am

おぉ、注目されていますね!:形式手法の研究者の田口研治氏が独立,認証取得や形式検証導入を支援する「シーエーブイテクノロジーズ」を設立 #techon

Copyright © 2015 Nikkei Business Publications, Inc. All Rights Reserved.

Full article: http://techon.nikkeibp.co.jp/article/NEWS/20110719/193441/

Tweets

設計とシミュレーションは無償、ARMのCortex-M0

techon.nikkeibp.co.jp 23 Oct '15, 11am

Copyright © 2015 Nikkei Business Publications, Inc. All Rights Reserved.