Перегляд Факультет радіоелектроніки, комп’ютерних систем та інфокомунікацій (№ 5) за темою "Claim-Argument-Evidence"
Зараз показуються 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 ...