Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering

2405

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

查看最新文献

发文信息

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - 最新文献

查看全部

From software engineering to software systems (invited talk)

Pub Date : 2014-11-11 DOI: 10.1145/2635868.2684427 A. Wolf

Sherlock: scalable deadlock detection for concurrent programs

Pub Date : 2014-11-11 DOI: 10.1145/2635868.2635918 Mahdi Eslamimehr, J. Palsberg

A tool suite for the model-driven software engineering of cyber-physical systems

Pub Date : 2014-11-11 DOI: 10.1145/2635868.2661665 Stefan Dziwok, Christopher Gerking, Steffen Becker, Sebastian Thiele, Christian Heinzemann, Uwe Pohlmann

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

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

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