Tuomas Kuismin公司
人员信息
优化列表
2010 – 2019
2017 【c4】 Inna Vistbakka酒店 , 埃琳娜·特劳比通娜 , Tuomas Kuismin公司 , 蒂莫·拉塔瓦拉 :
工业控制系统安全与安保协同工程:正式展望。 宁静的 2017 : 96-114 2016 【c3】 埃琳娜·特劳比通娜 , 利纳斯·莱比尼斯 , Inna Pereverzeva酒店 , Tuomas Kuismin公司 , 杜布拉夫卡伊利奇 , 蒂莫·拉塔瓦拉 :
安全关键系统的安全显式形式化建模。 SAFECOMP公司 2016 : 213-225 2015 [注2] 尤西·拉赫蒂宁 , Tuomas Kuismin公司 , 凯霍·赫尔扬科 :
使用迭代抽象细化验证大型模块化系统。 Reliab公司。 工程系统。 安全系数。 139 : 120-130 ( 2015 ) 2013 [c2] Tuomas Kuismin公司 , 凯霍·赫尔扬科 :
增强对具有证据的活度模型检查结果的信心。 海法核查会议 2013 : 32-43 2011 [j1] Tuomas Launiainen公司 , 凯霍·赫尔扬科 , 汤米·A·琼蒂拉 :
PSL安全属性的有效模型检查。 IET计算。 数字。 技术。 5 ( 6 ) : 479-492 ( 2011 ) 2010 【c1】 Tuomas Launiainen公司 , 凯霍·赫尔扬科 , 汤米·A·琼蒂拉 :
PSL安全属性的有效模型检查。 ACSD系统 2010 : 95-104