Revisiting Timed Specification Theories: A Linear−Time Perspective
We consider the setting of component-based design for real-time systems with critical timing constraints. Based on our earlier work, we propose a compositional speci cation theory for timed automata with I/O distinction, which supports substitutive re nement. Our theory provides the operations of pa...
| Main Authors: | , , |
|---|---|
| פורמט: | Report |
| יצא לאור: |
DCS
2012
|