Formal Verification of an Arbiter Cascade

Authors:
Hartmann J. Genrich;Robert M. Shapiro
Affiliations:
-;-
Venue:
Proceedings of the 13th International Conference on Application and Theory of Petri Nets
Year:
1992

Citing 0
Cited 2

An Example Of Risk Assessment Of Software Systems Specifications

ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
A low latency asynchronous arbitration circuit

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract