Main

Mint Work Search Explore Works Knowledge Graph Citation Graph Bibliometrics Receipts

info@nobleid.org

About Fund our work FAQ Developers Terms Policy Persistence & Resolver Service Policy

Applying formal proof techniques to avionics software: a pragmatic approach | NobleID

v1

Applying formal proof techniques to avionics software: a pragmatic approach

Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet and 2 more

FR

Famantanantsoa Randimbivololona

NobleIDNI5P35W66R85S44

Type:Journal Article

Claim Your Authorship

Sign in to see the full record

Creating an account is free.

Create an account

For data access, contact info@nobleid.org.