Vai al contenuto principale
Pannello laterale
Home
Corsi
Tutti i corsi
Fisica
Ingegneria e Architettura
Matematica e Geoscienze
Scienze Chimiche e Farmaceutiche
Scienze Economiche, Aziendali, Matematiche e Statistiche
Scienze della Vita
Scienze Giuridiche, del Linguaggio, dell`Interpretazione e della Traduzione
Scienze Politiche e Sociali
Studi Umanistici
Universitario Clinico di Scienze mediche, chirurgiche e della salute
E-learning@Units
Centro Linguistico di Ateneo
Sistema Bibliotecario di Ateneo
Amministrazione Centrale
Progetto FlashForward
Corsi in convenzione
PhD - Formazione trasversale
La ricerca all'Università di Trieste
CIRD - Centro Interdipartimentale per la Ricerca Didattica
Teledidattica
Guide a Moodle
Servizi Disabili e DSA
Centro per la gestione del percorso universitario e accademico iniziale dei docenti delle scuole secondarie di primo e secondo grado
Supporto
Guida a Moodle per studenti
Guida a Moodle per docenti
Pagina del supporto tecnico
Informativa dati personali
Altro
Italiano (it)
English (en)
Italiano (it)
Ospite
Accedi
Home
Corsi
Minimizza
Espandi
Tutti i corsi
Fisica
Ingegneria e Architettura
Matematica e Geoscienze
Scienze Chimiche e Farmaceutiche
Scienze Economiche, Aziendali, Matematiche e Statistiche
Scienze della Vita
Scienze Giuridiche, del Linguaggio, dell`Interpretazione e della Traduzione
Scienze Politiche e Sociali
Studi Umanistici
Universitario Clinico di Scienze mediche, chirurgiche e della salute
E-learning@Units
Centro Linguistico di Ateneo
Sistema Bibliotecario di Ateneo
Amministrazione Centrale
Progetto FlashForward
Corsi in convenzione
PhD - Formazione trasversale
La ricerca all'Università di Trieste
CIRD - Centro Interdipartimentale per la Ricerca Didattica
Teledidattica
Guide a Moodle
Servizi Disabili e DSA
Centro per la gestione del percorso universitario e accademico iniziale dei docenti delle scuole secondarie di primo e secondo grado
Supporto
Minimizza
Espandi
Guida a Moodle per studenti
Guida a Moodle per docenti
Pagina del supporto tecnico
Informativa dati personali
Espandi tutto
Minimizza tutto
Apri indice del corso
Apri il cassetto del blocco
Dipartimento di Matematica e Geoscienze
Laurea Magistrale
SM35 - DATA SCIENCE AND SCIENTIFIC COMPUTING
A.A. 2022 - 2023
575SM - CYBER-PHYSICAL SYSTEMS 2022
Logic Languages and Automata
Logic Languages and Automata
Schema della sezione
Seleziona attività Auotomata and temporal logic
Auotomata and temporal logic
File
PDF
Seleziona attività STLFalsification
STLFalsification
File
PDF
Seleziona attività STL Parameter Synthesis
STL Parameter Synthesis
File
PDF
Seleziona attività Signal Temporal Logic
Signal Temporal Logic
File
PDF
Seleziona attività STL Learning
STL Learning
File
PDF
Seleziona attività Hypro aand Model Checking
Hypro aand Model Checking
Cartella
Seleziona attività STREL and applications
STREL and applications
Cartella
Seleziona attività RLTL
RLTL
File
PDF
Seleziona attività Bortolussi_ML and Formal Methods
Bortolussi_ML and Formal Methods
URL
Seleziona attività Code STL
Code STL
Cartella
