×

菲亚克

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文件

在1个字段中引用

5 计算机科学(68-XX)

按年份列出的引文