Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computational linguistics
Formal languages
Specifications
6
Calculations
4
Computer hardware description languages
4
Semantics
4
Behavioral model
2
Behavioral modeling
2
Behavioral properties
2
Category theory
2
Codes (symbols)
2
Complex evolutions
2
Constraint Solving
2
Dynamic evolution
2
Dynamic models
2
Dynamic re-configuration
2
Formal framework
2
Formal methods
2
Formal specification
2
Graph rewriting
2
Graph theory
2
Graphical languages
2
Heterogeneous specifications
2
Hyperedge replacement
2
Logic programming
2
Mathematical formalism
2
Memory architecture
2
Pattern representation
2
Pattern specifications
2
Property Specification
2
-
1
-
2
-
3
-
4
-
5
-
6