Voltar
Artigo Acesso aberto Revisado por pares
BIBTEX RIS

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

2015; Now Publishers; Volume: 2; Issue: 2-3 Linguagem: Francês

10.1561/2500000002

ISSN

2325-1131

Autores

Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Ferêt, Laurent Mauborgne, Antoine Miné, Xavier Rival,

Tópico(s)

Software Reliability and Analysis Research

Resumo

à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Referência(s)