征稿范围
Topics of interest include, but are not limited to:
-Methodologies: How do development and verification methodologies (including configuration management) transfer to an assurance case paradigm?
-Use of output from software engineering tools (testing, fo
留言