by
Barthe, Gilles. editor.
Format:
Elektronik Kaynak
Alıntı:
-- Verification of Safety Properties in the Presence of Transactions -- Modelling Mobility Aspects of Security
View Other Search Results
by
Barthe, Gilles. editor.
Format:
Elektronik Kaynak
Alıntı:
Communicating State Machines -- Modeling and Model Checking Software Product Lines -- Semantic Foundations and
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: