Localized verification of modular designs

Authors:
Jørgen Staunstrup;Niels Mellergaard
Affiliations:
-;-
Venue:
Formal Methods in System Design
Year:
1995

Citing 0
Cited 2

Formal verification in hardware design: a survey

ACM Transactions on Design Automation of Electronic Systems (TODAES)
Real-Time Merging

ASYNC '99 Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract