风车

此软件的关键字
zbMATH参考文献(参考
7篇文章
参考)
Abujarad,Fuad;Lin,Yiyan;Bonakdarpour,Borzoo;Kulkarni,Sandeep S.:在没有明确合法状态的情况下自动添加容错的复杂性(2015) Bonakdarpour,Borzoo;Kulkarni,Sandeep:合成有界时间2相故障恢复(2015) 陈景舒;库尔卡尼,山德普:MR4UM:一个为UML状态图添加容错的框架(2013) Bornakdarpour,Borzoo;Kulkarni,Sandeep S.;Abujarad,Fuad:掩蔽容错分布式程序的符号合成(2012) Abujarad,F.;Kulkarni,S.S.:基于约束的自动添加非任务和稳定容错(2011) Girault,Alain;Rutten,çric:使用离散控制器合成自动添加容错(2009) Bornakdarpour,Borzoo;Kulkarni,Sandeep S.:SYCRAFT:用于合成分布式容错程序的工具(2008) ioport公司