Work

Structural Operational Semantics for a Portable Subset of Behavioral VHDL-93

Year: 2001

Type: article

Source: Formal Methods in System Design

DOI: 10.1023/a:1008786720393

Authors: Krishnaprasad Thirunarayan, Robert L. Ewing

Institutions: Wright State University, Wright-Patterson Air Force Base, U.S. Air Force Research Laboratory Information Directorate, Wright Laboratory

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1545121408

FWCI: 0.372

Cites: 21

Cited by: 3

Related to: 10