Work

A study on static analysis in network of synchronizing FSMs

Year: 2002

Type: conference-paper

Source: Asia-Pacific Software Engineering Conference (APSEC)

DOI: 10.1109/apsec.2000.896738

Author: J. Chen

Institution: University of Windsor

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Natural Sciences and Engineering Research Council of Canada

OpenAlex ID: W2129458963

FWCI:

Cites: 28

Cited by: 2

Related to: 10