Formal Specifications with Data-Driven Signal Analysis

Roderick Bloem, Benedikt Maderbacher, Cristinel Mateis, Dejan Ničković, Sergii Tkachov, Björn Ziegler

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать. Препринт может ещё не пройти рецензирование; проверьте, появилась ли журнальная версия.