A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification

  1. Oca, J.
  2. Hermo, M.
  3. Bolotov, A.
Proceedings:
Proceedings -Design, Automation and Test in Europe, DATE

ISSN: 1530-1591

ISBN: 9798350348590

Year of publication: 2024

2024 Design, Automation and Test in Europe Conference and Exhibition, DATE 2024 - Proceedings

Type: Conference paper

GOOGLE SCHOLAR
Data source: Scopus