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
Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam
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
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
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
-- Mechanized Refinement of Communication Models with TLA+ -- A Super Industrial Application of PSGraph -- The
Yazar
Counsell, Steve. editor.
Format:
Electronic Resources
Alıntı:
Methods Body of Knowledge for Railway Control and Safety Systems (FM-RAIL-BOK). In many engineering-based
Arama Sonuçlarını Sınırlandır
Daraltılmış: