Test generation for model based fieldbus profiles
暂无分享,去创建一个
C. Diedrich | S. Magnus | J. Krause | C. Diedrich | S. Magnus | J. Krause
[1] Christian Diedrich,et al. Tool support for the development of IEC 62390 compliant fieldbus profiles , 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).
[2] Walter Vogler,et al. An Improvement of McMillan's Unfolding Algorithm , 2002, Formal Methods Syst. Des..
[3] Bernhard Schätz,et al. Model-Based Development of Embedded Systems , 2002, OOIS Workshops.