DMCA

Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study (1998)

Cached

Download Links

by Robert Büssow , Robert Geisler , Marcus Klar
Citations:16 - 4 self