Work

Platform-specific timing verification framework in model-based implementation

Year: 2015

Type: other

Source: ScholarlyCommons (University of Pennsylvania)

DOI: 10.5555/2755753.2755804

Authors: BaekGyu Kim, Lu Feng, Linh Thi Xuan Phan, Oleg Sokolsky, Insup Lee

Institution: University of Pennsylvania

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2116185951

Cites: 16

Cited by: 5

Related to: 10