Sciweavers

133
Voted
FBT
2000
167views Formal Methods» more  FBT 2000»
15 years 11 days 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