1 citations · 1 across the 2 of their papers we have counts for
1 paper · 2 filters
Chris Chilton, Marta Kwiatkowska, Xu Wang
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 specification theory…