Work

Formal Verification of Systems-on-Chip - Industrial Experiences and Scientific Perspectives

Year: 2009

Type: conference-abstract

Source: International Workshop on Database and Expert Systems Applications (DEXA)

DOI: 10.1109/dexa.2009.83

Author: Dominik Stoffel

Institution: University of Kaiserslautern

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2000443511

Cites:

Cited by: 6

Related to: 10