Work

Scalable and Optimized Hybrid Verification of Embedded Software

Year: 2015

Type: article

Source: Journal of Electronic Testing

DOI: 10.1007/s10836-015-5518-4

Authors: Jörg Behrend, Djones Lettnin, Alexander Grünhage, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Institutions: University of Tübingen, Universidade Federal de Santa Catarina

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2046509591

FWCI: 1.715

Cites: 43

Cited by: 6

Related to: 10