[Back]

@inproceedings{TUW-109348,
    author = {Holzer, Martin and Belanovic, Pavle and Knerr, Bastian and Rupp, Markus},
    title = {Automatic Design Techniques for Embedded Systems},
    booktitle = {Proceedings of GI/ITG/GMM Workshop Modellierung und Verifikation},
    year = {2005},
    numpages = {10},
    url = {http://publik.tuwien.ac.at/files/pub-et_10213.pdf},
    note = {talk: GI/ITG/GMM Workshop Modellierung und Verifikation, Munich, Germany; 2005-04-06 -- 2005-04-07}
}



Created from the Publication Database of the Vienna University of Technology.