Sciweavers

114
Voted
FBT
2000
167views Formal Methods» more  FBT 2000»
14 years 11 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