Author:
Hietter Yann,Roussel Jean-Marc,Lesage Jean-Jacques
Reference15 articles.
1. Note on the Condition that a Boolean Equation Have a Unique Solution;Bernstein;American Journal of Mathematics,1932
2. O. De Smet and O. Rossi. Verification of a controller for a flexible manufacturing line written in Ladder Diagram via model-checking. American Control Conference, 2002. Proceedings of the 2002, 5:4147-4152, 2002.
3. J.-M. Faure and J.-J. Lesage. Methods for safe control systems design and implementations. Proceedings of the 10th IFAC Symposium on Information Control Problems in Manufacturing, Vienna, Austria, 2001.
4. Discrete and Combinatorial Mathematics: An Applied Introduction;Grimaldi,2004
5. The synthesis of sequential switching circuits;Huffman;Journal of the franklin Institute,1954
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献