搜索筛选:
搜索耗时4.4685秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：Monika Singh,V. K. Jain,
来源：软件工程与应用(英文) 年份：2017
This paper presents an augmented framework for analyzing Safety Critical Systems (SCSs) formally. Due to high risk of failure, development process of SCSs is re...
[期刊论文] 作者：Monika Singh,Ashok Kumar Sharm,
来源：软件工程与应用(英文) 年份：2015
Formal methods are the mathematically techniques and tools which are used at early stages of software development lifecycle processes. The utter need of using f...
相关搜索：
