Viewing CSP specifications with UML-RT diagrams
From MaRDI portal
Publication:2873608
Recommendations
- scientific article; zbMATH DE number 1693515
- scientific article; zbMATH DE number 1949609
- A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
- Toward extracting \(\pi\)-calculus from UML sequence and state diagrams
- scientific article; zbMATH DE number 1956483
Cited in
(6)- A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
- scientific article; zbMATH DE number 1949609 (Why is no real title available?)
- Automatic Generation of CSP || B Skeletons from xUML Models
- Toward extracting \(\pi\)-calculus from UML sequence and state diagrams
- scientific article; zbMATH DE number 1693515 (Why is no real title available?)
- Formal specification generation from requirement documents
This page was built for publication: Viewing CSP specifications with UML-RT diagrams
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2873608)