Author:
Girault F.,Pradin-Chezalviel B.,Kunzle L.A.,Valette R.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model Checking in Parallel Logic Controllers Design and Verification;Advances in Intelligent Systems and Computing;2016-12-15
2. Linear Logic as a Tool for Qualitative and Quantitative Analysis of Workow Processes;International Journal on Artificial Intelligence Tools;2016-06
3. Unit testing-based approach for reconfigurable logic controllers verification;Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2015;2015-09-11