@inproceedings{TUW-110505,
author = {S{\"u}nder, Christoph Karl and Favre-Bulle, Bernard and Vyatkin, Valeriy},
title = {Towards an Approach for the Verification of Downtimeless System Evolution},
booktitle = {ETFA 2006 Proceedings},
year = {2006},
pages = {1133--1136},
isbn = {1-4244-0681-1},
note = {Vortrag: 11th IEEE International Conference on Emerging Technologies and Factory Automation, Prag, Tschechien; 2006-09-20 -- 2006-09-22}
}
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.