A Platform-Based Approach to Verification and Synthesis of Linear Temporal Logic Specifications
tarafından
 
Iannopollo, Antonio, author.

Başlık
: 
A Platform-Based Approach to Verification and Synthesis of Linear Temporal Logic Specifications

Yazar
: 
Iannopollo, Antonio, author.

ISBN
: 
9781392036297

Yazar Ek Girişi
: 
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

Konu Başlığı
: 
Computer science.
 
Engineering.

Tüzel Kişi Ek Girişi
: 
University of California, Berkeley. Electrical Engineering & Computer Sciences.

Elektronik Erişim
: 
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:13423777


Yer NumarasıDemirbaş NumarasıShelf LocationShelf LocationHolding Information
XX(699695.1)699695-1001Proquest E-Tez KoleksiyonuProquest E-Tez Koleksiyonu