[Back]

@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 = {talk: 11th IEEE International Conference on Emerging Technologies and Factory Automation, Prag, Tschechien; 2006-09-20 -- 2006-09-22}
}