Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International
Yazar
Steffen, Bernhard. editor.
Format:
Electronic Resources
Alıntı:
Simulation and Modeling.
View Other Search Results
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
-- DReAM: Dynamic Reconfigurable Architecture Modeling -- Dynamic Logic for Ensembles -- Modelling the
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Autonomic Ensembles” -- Helena@Work: Modeling the Science Cloud Platform -- Formalizing Self-adaptive Clouds
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Interdisciplinary Healthcare Research: A Proposal -- Domain-Specific Business Modeling with the Business Model
Arama Sonuçlarını Sınırlandır
Daraltılmış: