A Platform-Based Approach to Verification and Synthesis of Linear Temporal Logic Specifications
Başlık:
A Platform-Based Approach to Verification and Synthesis of Linear Temporal Logic Specifications
Yazar:
Iannopollo, Antonio, author.
Fiziksel Tanımlama:
1 electronic resource (132 pages)
Genel Not:
Source: Dissertation Abstracts International, Volume: 80-08(E), Section: B.
Advisors: Alberto L. Sangiovanni-Vincentelli Committee members: Francesco Borrelli; Sanjit A. Seshia.
Notlar:
School code: 0028