Pages that link to "Item:Q3184725"
From MaRDI portal
The following pages link to What Is a Multi-modeling Language? (Q3184725):
Displaying 13 items.
- An algebraic semantics for MOF (Q973052) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Comprehensive systems: a formal foundation for multi-model consistency management (Q2065549) (← links)
- Model-Checking Helena Ensembles with Spin (Q2945715) (← links)
- Modularity of Ontologies in an Arbitrary Institution (Q2945717) (← links)
- Algebraic Reinforcement Learning (Q2945728) (← links)
- What Is a Multi-modeling Language? (Q3184725) (← links)
- On the Specification and Verification of Model Transformations (Q3184747) (← links)
- A Homage to Martin Wirsing (Q5256328) (← links)
- Localized Operational Termination in General Logics (Q5256340) (← links)
- An Institution for Object-Z with Inheritance and Polymorphism (Q5256346) (← links)
- Institutions for OCL-Like Expression Languages (Q5256349) (← links)
- Towards an Institutional Framework for Heterogeneous Formal Development in UML (Q5256350) (← links)
