GUI, University of Geneva, 24 rue General Dufour, 1211 Geneve 4, Suisse;
机译:Lustre中的数组迭代器:从语言扩展到验证中的利用
机译:使用LUSTER和ARGOS对嵌入式系统进行规范和验证。案例研究:自动大灯调平系统
机译:使用LUSTER和ARGOS对嵌入式系统进行规范和验证。案例研究:自动大灯调平系统
机译:z和光泽验证UML模型的验证
机译:基于UML和SysML的系统工程设计模型的验证和确认。
机译:UMLS知识源服务器:用于传递UMLS数据的对象模型
机译:基于模型的图形编辑器,用于支持OntoUML概念模型的创建,验证和确认