Lee más sobre Institution-based foundations for verification in the context of model-driven engineering
Lee más sobre Data Warehousing and Knowledge Discovery - 16th International Conference, DaWaK 2014, Munich, Germany, September 2-4, 2014. Proceedings
Lee más sobre Programming Languages - 19th Brazilian Symposium {SBLP} 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings
Lee más sobre Automated generation of variants in business process families based on Common Variability Language (CVL)
Lee más sobre Managing Devices of a One-to-One Computing Educational Program Using an IoT Infrastructure
