Yazar
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
Format:
Electronic Resources
Alıntı:
; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive
View Other Search Results
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
Arama Sonuçlarını Sınırlandır
Daraltılmış: