The following pages link to (Q4737563):
Displaying 4 items.
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- Testing for refinement in \textsf{Circus} (Q766162) (← links)
- Type checking \textsf{Circus} specifications (Q2873610) (← links)
- rCOS: Defining Meanings of Component-Based Software Architectures (Q2948228) (← links)