菲亚克 swMATH ID: 7004 软件作者: 伯纳德·伯托米厄(Bernard Berthomieu);Jean-Paul Bodevix;帕特里克·法拉利(Patrick Farail);等 描述: Fiacre:在topcased环境中用于模型验证的中间语言 主页: http://projects.laas.fr/fiacre网站// 关键词: 中间语言;模型验证 相关软件: CADP公司;Uppaal公司;Coq公司;电子LOTOS;TINA公司;凯撒;Exp.未结;M-树;BISIMULATOR(双模拟);酯类;罗丹;LNT2LOTOS公司;FDR3公司;第二代外国存托凭证;LOTOS公司;MoDeST公司;mCRL2型;xMAML公司;桅杆;MARTE公司 引用于: 5文件 全部的 前5名13位作者引用 2 Jean-Paul Bodeveix公司 2 票价,Elie 2 休伯特·加拉维 2 弗雷德里克·朗 1 马蒙·菲拉利·阿明 1 马蒙·菲拉利 1 曼纽尔·加纳乔 1 雷米·Hérilier 1 杰夫·克莱默 1 杰夫·马吉 1 拉杜·马特埃斯库 1 格温·萨拉恩 1 温德林·塞维 3篇连载文章中引用 1 信息学报 1 计算的形式方面 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 5 计算机科学(68-XX) 按年份列出的引文