[IEEE 2012 International Symposium on Innovations in Intelligent Systems and Applications (INISTA) - Trabzon, Turkey (2012.07.2-2012.07.4)] 2012 International Symposium on Innovations in Intelligent Systems and Applications - Extending standards with formal methods: Open Document Architecture
Barlas, Konstantinos, Koletsos, George, Stefaneas, PetrosYear:
2012
Language:
english
Pages:
5
DOI:
10.1109/inista.2012.6246931
File:
PDF, 506 KB
english, 2012