Mohamed Khalgui, Emanuele Carpanzano. A Formal Approach to Deploy Heterogeneous Software Components in a PLC. In Joaquim Filipe, Boris Shishkov, Markus Helfert, editors, ICSOFT 2007, Proceedings of the Second International Conference on Software and Data Technologies, Volume SE, Barcelona, Spain, July 22-25, 2007. pages 207-212, INSTICC Press, 2007.
Abstract is missing.