Yazar
Sankaranarayanan, Sriram. editor.
Format:
Electronic Resources
Alıntı:
formal and quantitative analysis of systems, performance engineering, computer safety, and industrial
View Other Search Results
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
-- Mechanized Refinement of Communication Models with TLA+ -- A Super Industrial Application of PSGraph -- The
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: