Thanikesavan Sivanthi, Ulrich Killat, Kishore Angrishi. An Application of a Formal Approach for Distribution of Real-Time Control. In Volker Turau, Christoph Weyer, editors, Proceedings of the Third Workshop on Intelligent Solutions in Embedded Systems (WISES 05), Hamburg University of Technology, Hamburg, Germany, May 20, 2005. pages 103-109, Hamburg University of Technology, 2005. [doi]
Abstract is missing.