Work

Design Verification through Function- and Behavior-Oriented Representations

Year: 1992

Type: book-chapter

Source: Springer eBooks

DOI: 10.1007/978-94-011-2787-5_30

Authors: Y. Iwasaki, B. Chandrasekaran

Institutions: Stanford University, The Ohio State University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1575265663

FWCI: 6.287

Cites: 8

Cited by: 24

Related to: 10