Yazar
Duan, Zhenhua. editor.
Format:
Electronic Resources
Alıntı:
Programming and testing -- Verification and validation -- Semantics -- Blockchain.
Yazar
Hammoudi, Slimane. editor.
Format:
Electronic Resources
Alıntı:
tooling, formal semantics and behaviour modelling, and MDD-based product-line engineering.
View Other Search Results
Yazar
Imine, Abdessamad. editor.
Format:
Electronic Resources
Alıntı:
signature schemes using program semantics -- Extinguishing Ransomware - a Hybrid Approach to Android
Arama Sonuçlarını Sınırlandır
Daraltılmış: