Input Synthesis for Sampled Data Sytems by Program Logic
Input Synthesis for Sampled Data Sytems by Program Logic
复制标题
通过程序逻辑对采样数据系统进行输入合成
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Takumi Akazaki
中科院分区：
文献类型：
--
作者：
Minoru Kinoshita;Kohei Suenaga and Atsushi Igarashi;山田真澄，大邑潤三，後藤浩之;Takumi Akazaki
登录
查看更多内容
用于提高 Simulink/Stateflow 模型仿真覆盖范围的符号分析
DOI：
--
发表时间：
2008
期刊：
International Conference on Embedded Software
影响因子：
--
作者：
R. Alur;Aditya Kanade;S. Ramesh;K. Shashidhar
通讯作者：
K. Shashidhar
DOI：
10.1109/lics.2009.29
发表时间：
2009-08
期刊：
2009 24th Annual IEEE Symposium on Logic In Computer Science
影响因子：
--
作者：
N. Kobayashi;C. Ong
通讯作者：
N. Kobayashi;C. Ong
连续和混合系统的覆盖引导测试生成
影响因子：
0.8
作者：
T. Dang;Tarik Nahhal
通讯作者：
Tarik Nahhal
定时和混合自动机的成员资格问题
DOI：
--
发表时间：
1998
期刊：
Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279)
影响因子：
--
作者：
R. Alur;R. Kurshan;Mahesh Viswanathan
通讯作者：
Mahesh Viswanathan
混合系统的随机测试用例生成：指标选择
DOI：
--
发表时间：
2004
期刊：
Thirty-Sixth Southeastern Symposium on System Theory, 2004. Proceedings of the
影响因子：
--
作者：
J. Esposito
通讯作者：
J. Esposito