[Zurück]

@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 = {https://publik.tuwien.ac.at/files/publik_262913.pdf},
    doi = {10.1109/ETFA.2017.8247710},
    keywords = {Interlock, Redundancy, Ontology, Z3},
    note = {Vortrag: 22nd IEEE International Conference on Emerging Technologies And Factory Automation, Limassol, Zypern; 2017-09-13 -- 2017-09-15}
}