Пошук
Зараз показуються 1-1 з 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 ...