Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
-Critical Java Level 2 Paradigm -- Safety and liveness -- Deciding Monadic Second Order Logic over omega-words by
Yazar
Rayadurgam, Sanjai. editor.
Format:
Electronic Resources
Alıntı:
-- Synthesizing Runtime Enforcer of Safety Properties under Burst Error -- Compositional Runtime Enforcement
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
Arama Sonuçlarını Sınırlandır
Daraltılmış: