先进制造业知识服务平台
国家科技图书文献中心机械分馆　　工信部产业技术基础公共服务平台　　国家中小企业公共服务示范平台

期刊


ISSN0453-4662
刊名計測と制御
参考译名计测与控制
收藏年代1998～2023



全部

1998 1999 2000 2001 2002 2003
2004 2005 2006 2007 2008 2009
2010 2011 2012 2013 2014 2015
2016 2017 2018 2019 2020 2021
2022 2023

2009, vol.48, no.1 2009, vol.48, no.11 2009, vol.48, no.12

题名作者出版年年卷期
離散事象システムにおける可診断性の検証高井重昌20092009, vol.48, no.11
Haar-like特徴を用いた顔画像計測技術羽島一夫; 枝澤一寛; 松下雅仁; 三輪祥太郎; 鹿毛裕史; Micheal JONES20092009, vol.48, no.11
モデル検査の開発現場への導入篠崎孝一; 早水公二20092009, vol.48, no.11
代数仕様に基づく実時間システムの検証緒方和博20092009, vol.48, no.11
組込みシステムにおけるハイブリッドオートマトンの形式的手法山根智20092009, vol.48, no.11
時間オートマトンによる実時間システムの形式的検証中田明夫20092009, vol.48, no.11
形式検証技術の数理－安心·安全なシステム構築に向けて平石邦彦20092009, vol.48, no.11
モデル検査入門土屋達弘; 菊野亨20092009, vol.48, no.11



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024