Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience.

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2017)

Keyphrases