Author:
Arditi Laurent,Boufaïed Hédi,Cavanié Arnaud,Stehlé Vincent
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. L. Arditi, A. Bouali, et al. “Using Esterel and Formal Methods to Increase the Confidence in the Functional Validation of a Commercial DSP”. In Workshop on Formal Methods for Industrial Critical Systems, Trento, Italy, 1999.
2. M. Benjamin, D. Geist, et al. “A Study in Coverage-Driven Test Generation”. In 36th Design Automation Conference, 1999.
3. G. Berry, G. Gonthier. “The Esterel synchronous programming language: Design, semantics, implementation”. In Science of Computer Programming, 19(2), 1992.
4. Lect Notes Comput Sci;A. Bouali,1998
5. R. Bryant. “Graph-based algorithms for boolean manipulation”. In IEEE Transactions on Computers, C-35(8), 1986.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献