Pages that link to "Item:Q5902549"
From MaRDI portal
The following pages link to Formal Methods for Open Object-Based Distributed Systems (Q5902549):
Displaying 6 items.
- On the complexities of consistency checking for restricted UML class diagrams (Q1044829) (← links)
- Intra- and interdiagram consistency checking of behavioral multiview models (Q1749133) (← links)
- Model transformations across views (Q2266947) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- (Q4483796) (← links)
- Foundations of Information and Knowledge Systems (Q5898546) (← links)