Toward rigorous design of domain-specific distributed systems-Reference-Cited by-同舟云学术

Toward rigorous design of domain-specific distributed systems

Published:2016-05-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering
language:
Short-container-title:

Author:

Al-Mahfoudh Mohammed¹,Gopalakrishnan Ganesh¹,Stutsman Ryan¹

Affiliation:

1. University of Utah, Salt Lake City, UT

Funder

NSF

Publisher

ACM

Link

Reference28 articles.

1. Alloy mit. http://alloy.mit.edu/alloy/ Retrieved 2/2716. Alloy mit. http://alloy.mit.edu/alloy/ Retrieved 2/2716.

2. Coq inria. https://coq.inria.fr/ Retrieved Feb 27 2016. Coq inria. https://coq.inria.fr/ Retrieved Feb 27 2016.

3. Graph for scala. Retrieved Jan 31 2016. Graph for scala. Retrieved Jan 31 2016.

4. Q-impress. http://www.q-impress.eu/wordpress/index.html 2/27/16. Q-impress. http://www.q-impress.eu/wordpress/index.html 2/27/16.

5. Spin. http://spinroot.com/spin/whatispin.html Retrieved Feb 27 2016. Spin. http://spinroot.com/spin/whatispin.html Retrieved Feb 27 2016.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

3. Formal Analysis and Verification of the IEEE 802.15.4 DSME Slot Allocation;Proceedings of the 19th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems;2016-11-13