Simulation and verification of system-level specifications of requirements and constraints using Rosetta
Simulation and verification of system-level specifications of requirements and constraints using Rosetta
使用 Rosetta 模拟和验证系统级需求和约束规范
批准号：
LX0239968
负责人：
Dr Peter Ashenden
金额：
$1.47万
依托单位国家：
澳大利亚
项目类别：
Linkage - International
财政年份：
2002
资助国家：
澳大利亚
项目状态：
已结题
起止时间：
2002-01-01 至 2004-12-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and con
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
海外基金
