Work

Language for Unified Verification and Implementation for Distributed Avionics

Year: 2018

Type: article

Source: Journal of Aerospace Information Systems

DOI: 10.2514/1.i010598

Authors: Benjamin F. Jones, Lee Pike, Srivatsan Varadarajan, Brendan Hall

Institution: Galois (United States)

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Aeronautics and Space Administration, Langley Research Center

Awards: G4855929607, G8445470643

OpenAlex ID: W2897978313

FWCI:

Cites: 34

Cited by:

Related to: 10