Lehrstuhl fuer Praktische Informatik II Fakultaet fuer Mathematik und Informatik Mannheim Universitaet D7,27, 68163 Mannheim, Deutschland;
action refinement; modal logic; specification; verification; reactive system;
机译:在绿色走廊发展管理中寻求专家共识的基础上,将层次分析法与聚集层次聚类相结合
机译:分层TGDR通过高通量基因表达数据将生物学层次与正则化方法相结合用于肺癌样品的多类分类
机译:结合不同层次结构确定权重-层次一致性分析
机译:使用分层实现结合分层规范
机译:交互式自动机的分层结构,用于对战场动力学建模:可控性和形式规范。
机译:矮小域转录因子Runx1定义的Pruriceptors的层次结构
机译:用于规范和分析分层组合排队petri网的QpN工具
机译:软件层次规范,设计与验证的探讨