Linking architectural and component level system views by abstract state machines (0)

by E Börger
Venue:Languages for System Specification and Verification, CHDL