Scholarlink

<p>This book LNCS 16481 constitutes the refereed proceedings of the 7th International School on Engineering Trustworthy Software Systems, SETSS 2025, held in Beijing, China, in <span style="background-color: rgb(255, 255, 255); font-size: 14px; color: rgb(34, 34, 34);">May 17–23</span>, 2025.</p><p>The 7 full papers were carefully reviewed and selected from 8 submissions. The proceedings focuses on lectures given during SETSS covered an ample variety of<br>techniques to achieve this goal, from model checking to simulation testing, from the use of formal methods and contracts to model-based engineering.&#xa0;</br></p><p>&#xa0;</p><p>&#xa0;</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Engineering Trustworthy Software Systems

  • 会议论文集

  • 发表日期：

    2026年

查看全文

摘要

This book LNCS 16481 constitutes the refereed proceedings of the 7th International School on Engineering Trustworthy Software Systems, SETSS 2025, held in Beijing, China, in May 17–23, 2025.

The 7 full papers were carefully reviewed and selected from 8 submissions. The proceedings focuses on lectures given during SETSS covered an ample variety of
techniques to achieve this goal, from model checking to simulation testing, from the use of formal methods and contracts to model-based engineering.