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

Robert Büssow Robert Geisler Marcus Klar

Published in: FASE (1998)

Keyphrases

embedded systems
safety critical
low cost
safety analysis
embedded software
real time systems
field programmable gate array
case study
software systems
formal methods
conceptual modeling
real time
object oriented
peer to peer
intelligent agents
protocol stack