Filipovikj, Predrag, Mälardalen University, Sweden
-
Volume 75: 43rd International Conference on Current Trends in Theory and Practice of Computer Science - Student Research Forum, 2017 (SOFSEM SRF 2017) - Articles
Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.