征稿范围
Topics of interest of the workshop include, but are not limited to:
Quantitative and qualitative evaluation of dependability, and product-oriented certification and assurance cases;
Design and evaluation of certifiable software according to the needs of
留言