Filters








1 Hit in 5.1 sec

Dagstuhl Reports, Volume 3, Issue 1, January 2013, Complete Issue [article]

2013
(RDAL) that we are developing as an annex of the Architecture Analysis and Design Language (AADL).  ...  traditional processes, but with a price of higher effort in the design phases performed by well-trained and experienced personnel.  ...  Compared to process-oriented certification procedures, recent approaches provide evidence for dependability by the thorough evaluation of the product itself and the adequacy, coverage and maturity of design  ... 
doi:10.4230/dagrep.3.1 fatcat:tt7daiu6fjhb3i3npxmz5ul2gy