document.getElementById('index-articles-list').innerHTML = `
  • A technology transfer journey to a model-driven access control system
    一种基于模型的访问控制系统的技术转移研究

    Martina De Sanctis,Amleto Di Salle,Ludovico Iovino et al.

    International journal on software tools for technology transfer : STTT. 2023;25(1):49-74. DOI:10.1007/s10009-023-00697-z
  • Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
    系统构建与分析工具及算法：TACAS 2020特刊

    Armin Biere,David Parker

    International journal on software tools for technology transfer : STTT. 2022;24(5):663-665. DOI:10.1007/s10009-022-00677-9
  • PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives

    Marta Kwiatkowska,David Parker,Clemens Wiltsche

    International journal on software tools for technology transfer : STTT. 2018;20(2):195-210. DOI:10.1007/s10009-017-0476-z
  • Model checking: recent improvements and applications
    模型检验：近来进展及应用

    Dragan Bošnački,Anton Wijs

    International journal on software tools for technology transfer : STTT. 2018;20(5):493-497. DOI:10.1007/s10009-018-0501-x
  • Guided search for hybrid systems based on coarse-grained space abstractions
    基于粗粒度状态空间的混合系统引导搜索方法研究

    Sergiy Bogomolov,Alexandre Donzé,Goran Frehse et al.

    International journal on software tools for technology transfer : STTT. 2016:18:449-467. DOI:10.1007/s10009-015-0393-y
    • `; document.getElementById('index-articles-more').href = `https://i.iikx.com/journal/1433-2779.html`; document.getElementById('index-articles-more').innerHTML='更多内容'; document.getElementById('index-articles-more').style="float:right;background:var(--primary-color);color:#fff;font-size:13px;border-radius:5px;padding:0px 10px;margin-right:5px;line-height:1.7"; document.getElementsByClassName('index-artcles')[0].style.display = 'block'; document.getElementById('showJournalIndexUrl').style.display = 'block'; document.querySelector('#showJournalIndexUrl a').href = `https://i.iikx.com/journal/1433-2779.html`;