Work

Verifying Code Automatically Generated From an Executable Model

Year: 2005

Type: conference-paper

Source: SAE technical papers on CD-ROM/SAE technical paper series

DOI: 10.4271/2005-01-1665

Authors: Cheryl A. Williams, Michael A. Kropinski, Onassis Matthews, Michael A. Steele

Institution: General Motors (United States)

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2228467888

FWCI: 0.18

Cites: 1

Cited by: 1

Related to: 10