Sciweavers

DIAGRAMS
2004
Springer
13 years 10 months ago
Automatic Proofs for Scalecharts
A scalechart is a set of statecharts, operating in a dense time domain, whose behavior is self-similar at different scales. The simplicity of extracting proofs of behavior from sc...
Richard Bosworth