https://catalogue-scientifique.canada.ca/record=2067077~S6*frc
Rechercher Ubhayaker, Sonali; Rechercher Biblighaus, David; Rechercher Dinolt, George; Rechercher Levin, Tim
naval postgraduate school monterey ca, 2003
A key decision in the development of high assurance software is that of choosing a formal methods tool. This paper describes a methodology to select a formal...
Publication gouvernementale