文献互助智能选刊最新文献

高级搜索发布求助登录注册

首页 > 期刊列表> 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)

2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)

浏览量

19

微信好友朋友圈 QQ好友复制链接

查看最新文献

查看最新文献

同类期刊

2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)

发文信息

同类期刊

Modeling and Simulation of Thermal Power Plants with ThermoSysPro

Modeling and Simulation of Thermal Power Plants with ThermoSysPro

2008 First International Conference on Emerging Trends in Engineering and Technology

2008 First International Conference on Emerging Trends in Engineering and Technology

Ensino, Pesquisa e Extensão no Brasil: uma abordagem pluralista (Volume V)

Ensino, Pesquisa e Extensão no Brasil: uma abordagem pluralista (Volume V)

Athens and Jerusalem

Athens and Jerusalem

Herman Melville

Herman Melville

Argentinian Journal of Respiratory & Physical Therapy

Argentinian Journal of Respiratory & Physical Therapy

2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) - 最新文献

Recommendations for improving the usability of formal methods for product lines

Pub Date : 2013-05-25 DOI: 10.1109/FormaliSE.2013.6612276 J. Atlee, Sandy Beidu, N. Day, Fathiyeh Faghih, Pourya Shaker

Towards a formalism-based toolkit for automotive applications

Pub Date : 2013-05-25 DOI: 10.1109/FORMALISE.2013.6612275 Rainer Gmehlich, K. Grau, F. Loesch, A. Iliasov, Michael Jackson, M. Mazzara

A framework for the rigorous design of highly adaptive timed systems

Pub Date : 2013-05-25 DOI: 10.1109/FormaliSE.2013.6612279 Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez

免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。

微信

客服QQ

Book学术公众号

扫码关注我们

反馈

Book学术官方微信

Book学术文献互助

Book学术文献互助群
群号：481959085

文献互助智能选刊最新文献互助须知联系我们：info@booksci.cn

Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。

Copyright © 2023 Book学术 All rights reserved.

京公网安备 11010802042870号京ICP备2023020795号-1