System Semantics and formal circuit description (Q3026918)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | System Semantics and formal circuit description |
scientific article |
Statements
System Semantics and formal circuit description (English)
0 references
1986
0 references
system semantics
0 references
meaning functions
0 references
formal reasoning
0 references
digital systems
0 references
unidirectional information flow
0 references
analog circuits
0 references
bidirectional
0 references
semantic functions
0 references
circuit theory
0 references