Somsak Vanit-Anunchai餐厅
人员信息
优化列表
2020年–今天
2024 [第11条] Somsak Vanit-Anunchai餐厅 :
使用彩色Petri网解决难题。 佩特里的PeNGE 篮网 2024 2023 [第10条] Somsak Vanit-Anunchai餐厅 :
用彩色Petri网教授低代码形式化方法。 FM茶 2023 : 96-104
2010 – 2019
2018 [j7] Somsak Vanit-Anunchai餐厅 :
使用彩色Petri网对泰国铁路信号系统进行建模和仿真。 国际期刊软件。 技术工具。 变压器。 20 ( 三 ) : 243-262 ( 2018 ) 2017 [j6] Somsak Vanit-Anunchai餐厅 :
验证DCCP同时打开和功能协商过程。 IEICE传输。 信息系统。 100-D型 ( 6 ) : 1190-1199 ( 2017 ) 2016 [j5] Somsak Vanit-Anunchai餐厅 :
正在验证DCCP同时功能协商过程。 事务处理。 Petri网其他模型。 同意。 11 : 71-91 ( 2016 ) 【c9】 Somsak Vanit-Anunchai餐厅 :
彩色Petri网在铁路信号系统建模和仿真中的应用。 FMICS-AVoCS 2016 : 214-230 2015 【c8】 Somsak Vanit-Anunchai餐厅 :
验证DCCP同步功能协商过程。 PNSE@Petri网 2015 : 115-132 2014 【c7】 Somsak Vanit-Anunchai餐厅 :
使用彩色Petri网模拟铁路联锁表的经验。 金融服务管理局 2014 : 17-28 2013 【c6】 Somsak Vanit-Anunchai餐厅 :
验证SCTP同步打开过程。 FSEN公司 2013 : 233-249 【c5】 Somsak Vanit-Anunchai餐厅 :
两层协议分析:DCCP同时打开和打孔程序。 金融服务管理局 2013 : 3-17 2010 【c4】 Somsak Vanit-Anunchai餐厅 :
使用彩色Petri网对铁路联锁表进行建模。 协调 2010 : 137-151
2000 – 2009
2009 [j4] 乔纳森·比林顿 , Somsak Vanit-Anunchai餐厅 , 盖伊·爱德华·加拉斯 :
参数化彩色Petri网信道模型。 事务处理。 Petri网其他模型。 同意。 三 : 71-97 ( 2009 ) 2008 [j3] 乔纳森·比林顿 , Somsak Vanit-Anunchai餐厅 :
演变中的互联网标准的彩色Petri网建模:数据报拥塞控制协议。 芬丹。 信息学 88 ( 三 ) : 357-385 ( 2008 ) [注2] Somsak Vanit-Anunchai餐厅 , 乔纳森·比林顿 , 盖伊·爱德华·加拉斯 :
使用扫描线方法分析数据报拥塞控制协议的连接管理过程。 国际期刊软件。 技术工具。 变压器。 10 ( 1 ) : 29-56 ( 2008 ) 2007 [j1] 盖伊·爱德华·加拉斯 , 乔纳森·比林顿 , Somsak Vanit-Anunchai餐厅 , 拉尔斯·迈克尔·克里斯滕森 :
用扫线法在空中检查安全性能。 国际期刊软件。 技术工具。 变压器。 9 ( 3-4 ) : 371-391 ( 2007 ) 【c3】 Somsak Vanit-Anunchai餐厅 , 乔纳森·比林顿 :
对数据报拥塞控制协议的连接管理和同步过程进行建模。 ICATPN公司 2007 : 423-444 2006 [c2] Somsak Vanit-Anunchai餐厅 , 乔纳森·比林顿 :
序列号包装对DCCP连接建立的影响。 马斯科茨 2006 : 345-354 2005 【c1】 Somsak Vanit-Anunchai餐厅 , 乔纳森·比林顿 , Tul Kongprakaiwoot公司 :
发现数据报拥塞控制协议中的Chatter和不完整性。 复地 2005 : 143-158