Author:
Halbwachs Nicolas,Raymond Pascal
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. S. Bensalem, P. Caspi, C. Dumas, and C. Parent-Vigouroux. A methodology for proving control programs with Lustre and PVS. In Dependable Computing for Critical Applications, DCCA-7, San Jose. IEEE Computer Society, January 1999.
2. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and J. Hwang. Symbolic model checking: 1020 states and beyond. In Fifth IEEE Symposium on Logic in Computer Science, Philadelphia, 1990.
3. G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87–152, 1992.
4. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, and N. Zuanon. Lutess: testing environment for synchronous software. In Tool support for System Specification Development and Verification. Advances in Computing Science, Springer, 1998.
5. Lect Notes Comput Sci;A. Bouali,1998
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献