Integrating formal methods into medical software development: The ASM approach

出版年份 2018 全文链接

标题

Integrating formal methods into medical software development: The ASM approach

作者

关键词

-

出版物

SCIENCE OF COMPUTER PROGRAMMING

Volume 158, Issue -, Pages 148-167

出版商

Elsevier BV

发表日期

2017-07-28

DOI

10.1016/j.scico.2017.07.003

向作者/读者发起求助以获取更多资源

Protocol

Reagent

Reprint

Find Funding. Review Successful Grants.

Explore over 25,000 new funding opportunities and over 6,000,000 successful grants.

Explore

Discover Peeref hubs

Discuss science. Find collaborators. Network.

Join a conversation

© Peeref 2019-2024. All rights reserved.