Foundations for Ensemble Modeling – The Helena Approach (Q5403077): Difference between revisions

@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Modal Interface Theories for Communication-Safe Component Assemblies
+Normal rank
@@ Property / cites work @@
+Model-Checking Helena Ensembles with Spin
@@ Property / cites work: Model-Checking Helena Ensembles with Spin / rank @@
+Normal rank
@@ Property / cites work @@
+On the representation of roles in object-oriented and conceptual modelling
+Normal rank
@@ Property / cites work @@
+Q4417622
@@ Property / cites work: Q4417622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3540595
@@ Property / cites work: Q3540595 / rank @@
+Normal rank