Work

Algebra of Communicating Timing Charts for Describing and Verifying Hardware Interfaces

Year: 1997

Type: book-chapter

Source: Springer eBooks

DOI: 10.1007/978-0-387-35064-6_14

Authors: Bachir Berkane, Simona Gandrabur, Eduard Cerny

Institution: Université de Montréal

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: Natural Sciences and Engineering Research Council of Canada

OpenAlex ID: W112467883

FWCI:

Cites: 17

Cited by:

Related to: 10