Login / Signup
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