Papers on Formal Engineering Methods including Extended Versions of papers presented at ICFEM 2014 (Part 2)

Merz Stephan; Pang Jun; Dong Jin Song

首页> 外文期刊>Formal Aspects of Computing >Papers on Formal Engineering Methods including Extended Versions of papers presented at ICFEM 2014 (Part 2)

【24h】

Papers on Formal Engineering Methods including Extended Versions of papers presented at ICFEM 2014 (Part 2)

机译：有关形式工程方法的论文，包括在ICFEM 2014上发表的论文的扩展版本（第2部分）

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

著录项
引文网络
相似文献
相关主题

著录项

来源
《Formal Aspects of Computing》 |2016年第5期|723-724|共2页
作者
Merz Stephan; Pang Jun; Dong Jin Song;
展开▼
作者单位

Inria Nancy Grand Est, 615 Rue Jardin Bot, F-54600 Villers Les Nancy, France;

Univ Luxembourg, 6 Rue Richard Coudenhove Kalergi, L-1359 Luxembourg, Luxembourg;

Natl Univ Singapore, 13 Comp Dr, Singapore 117417, Singapore;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. For an open focused thematic special issue of Microelectronic Engineering Micro/Nano Fabrication 2014, Short title: Nano Fab 2014 also including selected papers from the 40th Micro and Nano Engineering conference MNE 2014 Preface [J] . Schift Helmut, Rupp Jennifer L. M. Microelectronic Engineering . 2015,第juna15期

机译：对于2014年微电子工程微/纳米加工的公开主题专题，简称：Nano Fab 2014，还包括第四十届微纳米工程会议MNE 2014的部分论文前言
2. Materials for Advanced Metallization 2014 (MAM 2014) A Microelectronic Engineering Open Special Focused Issue including selected papers from the 23rd European Workshop on Materials for Advanced Metallization 2014 (Chemnitz, Germany, March 2-5, 2014) Preface [J] . Schulz Stefan E., Hecker Michael, Koerner Heinrich, Microelectronic Engineering . 2015,第apra期

机译：2014年高级金属化材料（MAM 2014）一个微电子工程公开特刊，包括第23届欧洲2014年高级金属化材料研讨会的精选论文（德国开姆尼茨，2014年3月2日至5日）前言
3. Extended versions of papers presented at WS-FM 2014 and Beat 2014 [J] . Carbone Marco, Hildebrandt Thomas, Parrow Joachim, Formal Aspects of Computing . 2016,第4期

机译：在WS-FM 2014和Beat 2014上发表的论文的扩展版本
4. Technology Centric Views for Biomedical Applications (short version; extended paper can be obtained from author) [C] . V. Lakshmi Narasimhan International Conference on Recent Trends in Information Technology . 2011

机译：技术为生物医学应用的主要视图（短版;可以从作者获得延长纸张）
5. Trail Making Test: Comparison of Paper-and-Pencil Version with Electronic Version. [D] . Bracken, Magdalene R. 2017

机译：试行测试：纸笔版本与电子版本的比较。
6. IMPACT study on intervening with a manualised package to achieve treatment adherence in people with tuberculosis: protocol paper for a mixed-methods study including a pilot randomised controlled trial [O] . Helen R Stagg, Ibrahim Abubakar, Colin NJ Campbell, 2019

机译：IMPACT研究干预手册以实现结核病患者的治疗依从性：一项混合方法研究的方案文件包括一项随机对照试验
7. Editorial for the special section on Empirical Studies in Software Engineering Selected, and extended papers from the Eighteenth International Conference on Evaluation and Assessment in Software Engineering, May 13th–14th 2014, London, UK [O] . Tracy Hall, Steve Counsell, Ingunn Myrtveit 2015

机译：关于所选软件工程实证研究的特殊部分，从第十八届软件工程评估和评估中的延伸论文，2014年5月13日 - 13年，英国，伦敦

Papers on Formal Engineering Methods including Extended Versions of papers presented at ICFEM 2014 (Part 2)

著录项

引文网络

相似文献

相关主题

期刊订阅