Practical Formal Methods for Hardware Design

Authors:
Carlos Delgado Kloos;W. Damm
Affiliations:
-;-
Venue:
Practical Formal Methods for Hardware Design
Year:
2001

Citing 0
Cited 3

Formal methods: state of the art and future directions

ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization

Proceedings of the 37th Annual Design Automation Conference
Virtual start-up of plants using formal methods

International Journal of Computer Applications in Technology

Quantified Score

Hi-index	0.01

Visualization

Abstract