Model reduction using the orthogonality between overapproximate slicing and abstract
发布时间：2024-10-11
点击次数：
- 备注：
- Huang, H., Huang, S., Chen, Z., & Zhang
- 是否译文：
- 否
- 发表时间：
- 2011
黄少滨 教授
黑龙江省系统仿真学会理事长；黑龙江省计算机学会理事；中国审计学会计算机审计分会副会长；中国计算机学会高级会员；中国系统工程学会会员；中国审计信息化标准化技术委员会（SAC/TC341）委员；教育部长江学者通讯评审专家；国家科技奖评审专家等。 【More】