Work

Formal Verification for Embedded System Designs

Year: 2003

Type: article

Source: Design Automation for Embedded Systems

DOI: 10.1023/b:daem.0000003959.60964.4d

Authors: Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Watanabe

Institutions: University of California, Riverside, Cadence Design Systems (United States)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2091912552

FWCI: 0.368

Cites: 17

Cited by: 11

Related to: 10