Stojic, Ivan
Stojic, Ivan
ES
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.001 secondi).
Formal Specification and Verification of Dynamic Parametrized Architectures
2018-01-01 Cimatti, Alessandro; 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
Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation
2018-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 | |
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems | 1-gen-2019 | Cimatti, Alessandro; Delong, Rance; 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 |