Yazar
Sankaranarayanan, Sriram. editor.
Format:
Electronic Resources
Alıntı:
formal and quantitative analysis of systems, performance engineering, computer safety, and industrial
Yazar
Lecomte, Thierry. editor.
Format:
Electronic Resources
Alıntı:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and
View Other Search Results
Yazar
O’Regan, Gerard. author.
Format:
Electronic Resources
Alıntı:
industrial environment Examines all aspects of the software development process, including project planning
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
Arama Sonuçlarını Sınırlandır
Daraltılmış: