VERIMAG IFx公司 swMATH ID: 22621 软件作者： IRIT，VERIMAG公司 描述： IFx OMEGA是一个编译器/模拟器/模型检查器，用于UML 2.2/SysML 1.1的丰富子集，基于VERIMAG的IF模型检查器。 主页： https://www.irit.fr/ifx/ 相关软件： 格拉夫维兹 引用于： 1文件 2位作者引用 1 拉兹洛·科兹马 1 安娜·梅德夫 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文