サクサク読めて、アプリ限定の機能も多数！
✂ 東京証券取引所の設計書を対象とした実験で形式手法の有効性を実証
Donca のブックマーク 2012/04/20 15:32
このブックマークにはスターがありません。 最初のスターをつけてみよう！
www.global.toshiba2012/04/20
東京証券取引所の設計書を対象とした実験で形式手法の有効性を実証 ～実験結果をもとにDSFが「形式手法活用ガイド」を完成～ 株式会社ＮＴＴデータ 富士通株式会社 日本電気株式会社 株式会社日立製作所 株式会社...
1 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／
✂ 東京証券取引所の設計書を対象とした実験で形式手法の有効性を実証
このブックマークにはスターがありません。
最初のスターをつけてみよう！
ニュースリリース (2012-04-20)：東京証券取引所の設計書を対象とした実験で形式手法の有効性を実証 | ニュース | 東芝
東京証券取引所の設計書を対象とした実験で形式手法の有効性を実証 ～実験結果をもとにDSFが「形式手法活用ガイド」を完成～ 株式会社ＮＴＴデータ 富士通株式会社 日本電気株式会社 株式会社日立製作所 株式会社...
1 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／