Linking architectural and component level system views by abstract state machines

Cached

Download Links

by Egon Börger
Venue:Languages for System Specification and Verification, CHDL
Citations:1 - 1 self