机译:Robochart:机器人应用功能的建模与验证
Univ York Dept Comp Sci York YO10 5GH N Yorkshire England;
Univ York Dept Comp Sci York YO10 5GH N Yorkshire England;
Univ York Dept Elect Engn York YO10 5DD N Yorkshire England;
Univ York Dept Comp Sci York YO10 5GH N Yorkshire England;
Univ York Dept Elect Engn York YO10 5DD N Yorkshire England;
Univ York Dept Comp Sci York YO10 5GH N Yorkshire England;
State machines; Formal semantics; Process algebra; CSP; Model checking; Timed properties; Domain-specific language for robotics;
机译:RoboChart:机器人应用程序功能行为的建模和验证
机译:网络改变理论在建模橡胶的时变本构行为中的应用。第二部分。一般理论的进一步评估和实验验证
机译:简单觅食机器人行为的演绎验证
机译:顶级模拟混合信号功能验证的结构行为建模方法
机译:网络机器人系统的不确定性建模和验证。
机译:基于生理的药代动力学(PBPK)建模和模拟方法:已发布的模型应用和模型验证的系统评价
机译:分布式系统行为建模和基础设施运行的正式验证与有限状态自动机的组成方法:应用于查看水道中功能验证的应用
机译:自动化,机器人和机器智能系统的空间应用(aramis)。第4卷:aramis能力在空间项目功能要素中的应用