Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. Twitter
  3. kensh

kensh (@_kensh)

投稿一覧（最新100件）

23 0 0 0 フォーマルメソッドの新潮流 : Part II: 産業界への応用 : 3.携帯電話組込み用モバイルFeliCa ICチップ開発における形式仕様記述手法の適用

お財布ケータイやパスモ、スイカでおなじみのferica　ですが、その仕様検証に形式手法が使われていたのは有名な話し。 http://t.co/g8elrgah http://t.co/6G3nIIim

お気に入り一覧（最新100件）

フォロー（4222ユーザ）の投稿一覧（直近7日間）

フォロワー（2095ユーザ）の投稿一覧（直近7日間）