[Back]

@inproceedings{TUW-262913,
    author = {Steinegger, Michael and Melik-Merkumians, Martin and Schitter, Georg},
    title = {Ontology-based Framework for the Generation of Interlock Code with Redundancy Elimination},
    booktitle = {Proceedings on 22nd IEEE International Conference on Emerging Technologies And Factory Automation},
    year = {2017},
    numpages = {5},
    url = {http://publik.tuwien.ac.at/files/publik_262913.pdf},
    keywords = {Interlock, Redundancy, Ontology, Z3},
    note = {talk: 22nd IEEE International Conference on Emerging Technologies And Factory Automation, Limassol, Zypern; 2017-09-13 -- 2017-09-15}
}



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