Results 281 to 290 of about 1,932,015 (306)

Formal Methods in Railways: A Systematic Mapping Study

ACM Computing Surveys, 2023
Alessio Ferrari, Maurice H Ter Beek
exaly  

Formal Methods: A Commentary

Journal of Information Technology, 1987
Tom Maibaum, Martin R. Sadler
openaire   +1 more source

Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges

Automatica, 2023
Matthias Althoff, Calin Belta
exaly  

Formal methods

ACM SIGSOFT Software Engineering Notes, 1992
openaire   +1 more source

New Opportunities for Integrated Formal Methods

ACM Computing Surveys, 2020
Mario Gleirscher, Simon Foster, Jim Woodcock   +2 more
exaly  

Formal methods

Proceedings. First Euromicro Conference on Software Maintenance and Reengineering, 2002
openaire   +1 more source

MiniZinc for Formal Methods

2023
openaire   +1 more source

Formal methods for specification and analysis of communication protocols

IEEE Communications Surveys and Tutorials, 2002
F Babich
exaly  

Formal Methods in Computation

The Computer Journal, 2002
openaire   +1 more source

Disappearing formal methods*

Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000), 2005
openaire   +1 more source