Browsing Статті з наукових журналів та збірок by Subject "Safety and Security Life Cycle"
Now showing items 1-1 of 1
-
Assurance Case driven design for software and hardware description language based systems
(ХАІ, 2016)The Claim-Argument-Evidence (CAE) approach is one from the worldly recognized technique directed to find gaps in safety-related Instrumentation and Control systems design and implementation and after that to justify meeting ...