Volume 75: 43rd International Conference on Current Trends in Theory and Practice of Computer Science - Student Research Forum, 2017 (SOFSEM SRF 2017)

DOI: http://dx.doi.org/10.14279/tuj.eceasst.75

Table of Contents

Preface

Preface
Anila Mjeda
PDF

Articles

On Privacy and Utility while Improving Software Quality
Fayola Peters
PDF
Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience
Predrag Filipovikj, Guillermo Rodriguez-Navas, Cristina Seceleanu
PDF
Model-to-Model Transformation in Meta-Modeled CINCO Domains
Dennis Kuehn
PDF
Comparing Network Performance of Mobile VoIP Solutions
Rafael Gomes Dantas
PDF