formal verification of realtime systems in astral-星体实时系统的形式化验证-知来数据 Key Words: Formal Methods, Formal specification and verification, Realtime systems, Timing requireme...
基于38个网页-相关网页
In realtime systems the processing of related transactions that have been grouped together.
在实时系统中,对已被组合在一起的有关事务进行处理的过程。
For some domains — such as event-driven realtime systems and to some extent GUI builders and J2EE — this type of true MDD already exists.
对于一些领域——例如事件驱动的实时系统,和某种程度上的GUI构建器和J2EE——这种真正的MDD已经存在。
There were first, of course, the many hardware and software engineers who envision, design, implement, and test embedded realtime systems.
当然首先是硬件和软件工程师,他们是实时嵌入式系统的提出者、设计者、实现者和测试者。
应用推荐