Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Open Questions in Formal Methods
Computer ( IF 2.2 ) Pub Date : 2020-05-01 , DOI: 10.1109/mc.2020.2978567 James Bret Michael 1 , George W. Dinolt 2 , Doron Drusinsky 2
Computer ( IF 2.2 ) Pub Date : 2020-05-01 , DOI: 10.1109/mc.2020.2978567 James Bret Michael 1 , George W. Dinolt 2 , Doron Drusinsky 2
Affiliation
Formal methods have a long history of use within the cybersecurity community, but their adoption remains limited to a small segment of the population of system developers.
中文翻译：
形式方法中的开放问题
正式方法在网络安全社区中有着悠久的使用历史，但它们的采用仍然仅限于一小部分系统开发人员。
更新日期：2020-05-01
中文翻译：
形式方法中的开放问题
正式方法在网络安全社区中有着悠久的使用历史，但它们的采用仍然仅限于一小部分系统开发人员。
京公网安备 11010802027423号