Work

Vermeiden von Laufzeitfehlern in eingebetteter Software

Year: 2009

Type: article

Source: atp magazin

DOI: 10.17560/atp.v51i10-11.110

Author: Daniel Kästner

Language: German

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2317305365

FWCI:

Cites:

Cited by:

Related to: 10