Sfoglia per Autore
Mostrati risultati da 1 a 3 di 3
Formal Specification and Verification of Dynamic Parametrized Architectures
2018-01-01 Cimatti, Alessandro; Stojic, Ivan; Tonetta, Stefano
Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation
2018-01-01 Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems
2019-01-01 Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Formal Specification and Verification of Dynamic Parametrized Architectures | 1-gen-2018 | Cimatti, Alessandro; Stojic, Ivan; Tonetta, Stefano | |
Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation | 1-gen-2018 | Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano | |
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems | 1-gen-2019 | Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile