Dariusz Choinski, Mieczyslaw Metzger, Witold Nocon, Grzegorz Polaków. Cooperative Validation in Distributed Control Systems Design. In Yuhua Luo, editor, Cooperative Design, Visualization, and Engineering, 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007, Proceedings. Volume 4674 of Lecture Notes in Computer Science, pages 280-289, Springer, 2007. [doi]
Abstract is missing.