Pages that link to "Item:Q2873608"
From MaRDI portal
The following pages link to Viewing CSP specifications with UML-RT diagrams (Q2873608):
Displaying 4 items.
- A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models (Q869690) (← links)
- Toward extracting \(\pi\)-calculus from UML sequence and state diagrams (Q2847426) (← links)
- Formal specification generation from requirement documents (Q2873617) (← links)
- Automatic Generation of CSP || B Skeletons from xUML Models (Q5505614) (← links)