Time-constrained Reactive Automata -- A Novel Development Methodology for Embedded Real-time Systems (1991)

Cached

Download Links

by Azer Bestavros
Citations:11 - 7 self