Formal Verification With Frama-C: A Case Study in the Space Software Domain
['Rovedy Aparecida Busquim e Silva', 'Nanci Naomi Arai', 'Luciana Akemi Burgareli', 'Jose Maria Parente de Oliveira', 'Jorge Sousa Pinto']
/
IEEE Transactions on Reliability
/ Vol. 65
/ No. 3
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？