Login / Signup

Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study.

Robert BüssowRobert GeislerMarcus Klar
Published in: FASE (1998)
Keyphrases