Results 251 to 260 of about 34,882,646 (291)
Some of the next articles are maybe not open access.
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders
International Conference on Integrated Formal Methods, 2018D. Basile +7 more
semanticscholar +1 more source
Formal Methods for Discrete-Time Dynamical Systems
, 2017C. Belta, B. Yordanov, Ebru Aydin Gol
semanticscholar +1 more source
Smart Contracts and Opportunities for Formal Methods
Leveraging Applications of Formal Methods, 2018Andrew K. Miller, Zhicheng Cai, S. Jha
semanticscholar +1 more source
Towards formal methods diversity in railways: an experience report with seven frameworks
International Journal on Software Tools for Technology Transfer (STTT), 2018F. Mazzanti +2 more
semanticscholar +1 more source
MicroRNAome genome: A treasure for cancer diagnosis and therapy
Ca-A Cancer Journal for Clinicians, 2014Ioana Berindan-Neagoe +2 more
exaly
Talos: no more ransomware victims with formal methods
International Journal of Information Security, 2017A. Cimitile +4 more
semanticscholar +1 more source