Electronic Communications of the EASST
is a peer-reviewed, scientific and open access journal
ISSN 1863-2122

Rodriguez-Navas, Guillermo, 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.