Yazar
Fermé, Eduardo. editor.
Format:
Electronic Resources
Alıntı:
Query Answering over Description Logic Ontologies -- Tools for the Investigation of Substructural
Yazar
Counsell, Steve. editor.
Format:
Electronic Resources
Alıntı:
.- PetriCode: A Tool for Template-Based Code Generation from CPN Models.- Twenty-Five Years of Formal Methods
Yazar
Dingel, Juergen. editor.
Format:
Electronic Resources
Alıntı:
submissions. The scope of the conference series is broad, encompassing modeling languages, methods, tools, and
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Development -- Generation of Domain-Specific Graphical Development Tools Targeting Heterogeneous Platforms
Arama Sonuçlarını Sınırlandır
Daraltılmış: