Assembly Theories for Communication-Safe Component Systems (Q5170748): Difference between revisions

@@ Property / author @@
-Martin Wirsing
@@ Property / author: Martin Wirsing / rank @@
-Normal rank
@@ Property / author @@
+Martin Wirsing
@@ Property / author: Martin Wirsing / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+D-Finder
@@ Property / describes a project that uses: D-Finder / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MIO Workbench
@@ Property / describes a project that uses: MIO Workbench / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-54848-2_10
+Normal rank
@@ Property / OpenAlex ID @@
+W82454509
@@ Property / OpenAlex ID: W82454509 / rank @@
+Normal rank
@@ Property / cites work @@
+On Weak Modal Compatibility, Refinement, and the MIO Workbench
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Compatibility in a multi-component environment
@@ Property / cites work: Compatibility in a multi-component environment / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473719
@@ Property / cites work: Q4473719 / rank @@
+Normal rank
@@ Property / cites work @@
+Composition for component-based modeling
@@ Property / cites work: Composition for component-based modeling / rank @@
+Normal rank
@@ Property / cites work @@
+Specification of Asynchronous Component Systems with Modal I/O-Petri Nets
+Normal rank
@@ Property / cites work @@
+Modal Interface Theories for Communication-Safe Component Assemblies
+Normal rank
@@ Property / cites work @@
+Modal I/O Automata for Interface and Product Line Theories
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5170748