Computer architecture; Metals; Topology; Concrete; Organizations; Software architecture; Analytical models;
机译:开放系统的架构描述方法,以减少误解托管对象的范围
机译:没有给定映射信息的系统级和RTL描述之间的形式等效检查
机译:没有给定映射信息的系统级和RTL描述之间的形式等效检查
机译:使用正式描述检查系统体系结构的可行性
机译:ARC-VM:一种用于军事系统间采购的基于架构实物期权的基于复杂度的评估方法。
机译:使用统计模型检查正式验证启发式自主交叉管理
机译:开放系统的架构描述方法,以减少误解托管对象的范围
机译:通过对话形式化描述的模型检验,交互系统的词汇,句法和语义属性的V和V.