The following pages link to (Q4509996):
Displaying 8 items.
- From control law diagrams to Ada via \textsf{Circus} (Q640296) (← links)
- Testing for refinement in \textsf{Circus} (Q766162) (← links)
- A process algebraic framework for specification and validation of real-time systems (Q968306) (← links)
- Model transformations across views (Q2266947) (← links)
- Efficient symbolic computation of process expressions (Q2389343) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- rCOS: Defining Meanings of Component-Based Software Architectures (Q2948228) (← links)
- Refactoring Object-Oriented Specifications with Data and Processes (Q5428914) (← links)