Yazar
Cunha, Jácome. editor. (orcid)0000-0002-4713-3834
Format:
Electronic Resources
Alıntı:
programming and programming languages -- Model synchronization management of software product families
Yazar
Bošnački, Dragan. editor.
Format:
Electronic Resources
Alıntı:
Checking Program Families -- Compositional Semantics and Analysis of Hierarchical Block Diagrams -- Using
View Other Search Results
Yazar
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
Process Calculi -- Rigid Families for the Reversible pi-calculus -- A calculus for local
Yazar
Dastani, Mehdi. editor.
Format:
Electronic Resources
Alıntı:
-- Bisimilarity of Open Terms in Stream GSOS -- Composing Families of Timed Automata -- A Core Calculus for Multi
Yazar
Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736
Format:
Electronic Resources
Alıntı:
Reasoning about Model Families over Space and Time -- Facilitating the Co-Evolution of Standards and Models
Yazar
Huisman, Marieke. editor.
Format:
Electronic Resources
Alıntı:
Linear Optimization Techniques -- GTS Families for the Flexible Composition of Graph Transformation
Arama Sonuçlarını Sınırlandır
Daraltılmış: