Christoph Sünder, Bernard Favre-Bulle, Valeriy Vyatkin. Towards an Approach for the Verification of Downtimeless System Evolution. In Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2006, September 20-22, 2006, Diplomat Hotel Prague, Czech Republic. pages 1133-1136, IEEE, 2006. [doi]
Abstract is missing.