Verifica di specifiche di sistemi in tempo reale

Felder, Miguel Alejandro
Milan Politecnico (Italy)

Publication date

January 1996

Abstract

Dottorato di ricerca in ingegneria informatica e automatica. 7. ciclo. A.a. 1991-93. Coordinatore Sergio Bittanti. Relatore e Tutore Carlo Ghezzi. Correlatore Paolo PrinettoConsiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome; Biblioteca Nazionale Centrale - P.za Cavalleggeri, 1, Florence / CNR - Consiglio Nazionale delle RichercheSIGLEITItal

Extracted data

We use cookies to provide a better user experience.

Data Protection

Verifica di specifiche di sistemi in tempo reale

Abstract

Extracted data

Verifica di specifiche di sistemi in tempo reale

Abstract

Extracted data

Related items

Related items