Runtime Verification of Information flow: Policy-Based Runtime Verification of Information Flow Control

Wo zu kaufen (1) Eigenschaften
Gesponsert
Runtime Verification of Information flow, Fachbücher von Mohamed Khalefa Sarrab
Galaxus.de
79.00 EUR
Preis aktualisiert am: 17-06-2026 02:43:13
Siehe Produktangebot

Allgemein

Marke
Sarrab, Mohamed Khalefa
ISBN
Sarrab, Mohamed Khalefa 3845432748

Eigenschaften

Ähnliche Produkte

Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings (Lecture Notes in Computer Science, 12974, Band 12974)
Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings (Lecture Notes in Computer Science, 12974, Band 12974)
Produkt anzeigen
Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings (Lecture Notes in Computer Science, Band 12399)
Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings (Lecture Notes in Computer Science, Band 12399)
Produkt anzeigen
Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings (Lecture Notes in Computer Science, 13498, Band 13498)
Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings (Lecture Notes in Computer Science, 13498, Band 13498)
Produkt anzeigen
Runtime Verification
Runtime Verification
Produkt anzeigen
Simplifying Runtime Verification of Distributed Programs
Simplifying Runtime Verification of Distributed Programs
Produkt anzeigen
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Produkt anzeigen
Menü