21 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Ortmeier, Frank. editor.
Format:
Electronic Resources
Alıntı:
Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October
Yazar
Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153
Format:
Electronic Resources
Alıntı:
Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece
View Other Search Results
Yazar
Bozzano, Marco. editor. (orcid)0000-0002-4135-103X
Format:
Electronic Resources
Alıntı:
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September
Yazar
Bernardo, Marco. editor.
Format:
Electronic Resources
Alıntı:
assessment and testing. The papers collected in the two parts (first part: modeling and verification; second
Yazar
Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683
Format:
Electronic Resources
Alıntı:
Cryptosystems and Applied Cryptography -- Modelling and Risk Assessment -- Trust Computing.
Yazar
Tonetta, Stefano. editor. (orcid)0000-0001-9091-7899
Format:
Electronic Resources
Alıntı:
-- Static analysis and testing -- Safety analysis and assessment -- Safety and security.
Yazar
Fantechi, Alessandro. editor.
Format:
Electronic Resources
Alıntı:
approach: Engineering Cross-Layer Fault Tolerance in Many-Core Systems -- Risk assessment based
Yazar
Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703
Format:
Electronic Resources
Alıntı:
Derivation reduction of metarules in meta-interpretive learning -- Large-Scale Assessment of Deep
Yazar
Bouajjani, Ahmed. editor.
Format:
Electronic Resources
Alıntı:
model checking -- Privacy assessment using static taint analysis -- EPTL - a temporal logic for weakly
Yazar
Heisel, Maritta. editor.
Format:
Electronic Resources
Alıntı:
A Structured Comparison of Security Standards -- Empirical Assessment of Security Requirements and
Yazar
Merayo, Mercedes G. editor.
Format:
Electronic Resources
Alıntı:
Maintenance of Automated Testing -- On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment
Yazar
Lecomte, Thierry. editor.
Format:
Electronic Resources
Alıntı:
Railway Operational Procedures under the IT Security Threat -- Risk Assessment of the 3Des in the ERTMS
21 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: