松岡 聡 （MATSUOKA Satoshi）
- 所属
- 工学計測標準研究部門 データサイエンス研究グループ
- キーワード
- 計量器
- 法定計量
- 非自動はかり
- 燃料油計
- タクシーメーター
- OIML
- ソフトウェア
- 組み込みシステム
- 形式検証
- モデル検査
- 数理論理学
- 時相論理
- nuSMV
- FPGA
- I2C
- アービタ
- RTL
データ取得中...
NMIJの研究者と連携した技術開発等にご興味のある方は、お気軽にお問い合わせください。
連携相談など、お問い合わせ先：
計量標準総合センター（NMIJ） 連携推進室
M-nmij-renkei-ml*aist.go.jp （*を@に変更して使用してください。）