Pages that link to "Item:Q440664"
From MaRDI portal
The following pages link to Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems (Q440664):
Displaying 8 items.
- A formal abstract framework for modelling and testing complex software systems (Q714878) (← links)
- Semantic links in integrated modelling frameworks (Q929733) (← links)
- Bourbaki's structure theory in the problem of complex systems simulation models synthesis and model-oriented programming (Q2354427) (← links)
- Towards two-level formal modeling of computer-based systems (Q2709229) (← links)
- (Q4472454) (← links)
- Dynamic networks of heterogeneous timed machines (Q4640311) (← links)
- Использование интегро-дифференциальных операторов для синтеза моделей больших информационных систем с неоднозначными характеристиками (Q5220579) (← links)
- UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration (Q5274291) (← links)