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

DOI: https://doi.org/10.14279/tuj.eceasst.75

Published: 2018-10-17

Articles

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
On Privacy and Utility while Improving Software Quality

Fayola Peters
- PDF
Comparing Network Performance of Mobile VoIP Solutions

Rafael Dantas
- PDF

Preface

Preface

Anila Mjeda
- PDF