Sciweavers

109
Voted
FBT
2000
167views Formal Methods» more  FBT 2000»
14 years 10 months ago
Diagrams for Dataflow
The behavior of reactive systems can be described by their black box properties as a relation between input and output streams. More operational is the behavior's description...
Max Breitling, Jan Philipps