Author:
Morel Gérard,Valckenaers Paul,Faure Jean-Marc,Pereira Carlos E.,Diedrich Christian
Subject
Applied Mathematics,Electrical and Electronic Engineering,Computer Science Applications,Control and Systems Engineering
Reference55 articles.
1. Special issue on internet-based distributed intelligent manufacturing systems;Banaszak;Journal of Intelligent Manufacturing,2003
2. Barragan, S. I., & Faure, J. M. (2005). From fault-tree analysis to model-checking of controllers. In 16th IFAC World Congress. Praha, Czech Republic, July 4–8.
3. Systems and software verification: Model-checking techniques and tools;Berard,1999
4. Borangiu, T. (Ed.). (2003). Intelligent assembly and disassembly. In 3rd IFAC IAD’03 Workshop. Bucarest, Romania, October 11–13.
5. Advancing systems engineering for system of systems challenges;Chen;Systems Engineering,2003
Cited by
64 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献