Consiglio Nazionale delle Ricerche

Tipo di prodottoArticolo in rivista
TitoloComments on Temporal Logics for Real-Time System Specification
Anno di pubblicazione2009
Formato-
Autore/iC. A. Furia, M. Pradella, M. Rossi
Affiliazioni autori-
Autori CNR e affiliazioni
  • MATTEO PRADELLA
Lingua/e-
Abstract-
Lingua abstract-
Altro abstract-
Lingua altro abstract-
Pagine da-
Pagine a-
Pagine totali-
Rivista-
Numero volume della rivista41
Fascicolo della rivista-
DOI-
Verificato da referee-
Stato della pubblicazione-
Indicizzazione (in banche dati controllate)-
Parole chiave-
Link (URL, URI)-
Titolo parallelo-
Data di accettazione-
Note/Altre informazioni-
Strutture CNR
  • IEIIT — Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni
Moduli/Attività/Sottoprogetti CNR
  • ICT.P09.008.001 : Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità
Progetti Europei-
Allegati

Dati storici
I dati storici non sono modificabili, sono stati ereditati da altri sistemi (es. Gestione Istituti, PUMA, ...) e hanno solo valore storico.
Area disciplinareComputer Science & Engineering
Area valutazione CIVRIngegneria industriale e informatica
Rivista ISICOMPUTING SURVEYS [30273J0]