Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International
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
View Other Search Results
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
Arama Sonuçlarını Sınırlandır
Daraltılmış: