Modulare Signalbeschreibungen: Für Automatisierte Tests in Modellbasierten Software-Entwicklungen
暂无分享，去创建一个
[1] Andreas Krämer,et al. Systematic testing of the continuous behavior of automotive systems , 2006, SEAS '06.
[2] Stacy J. Prowell,et al. Foundations of Sequence-Based Software Specification , 2003, IEEE Trans. Software Eng..