Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computational linguistics
Specifications
Formal languages
6
Calculations
4
Codes (symbols)
4
Computer hardware description languages
4
Formal methods
4
Semantics
4
Specification languages
4
System specification
4
Behavioral model
2
Behavioral modeling
2
Behavioral properties
2
Category theory
2
Communication device
2
Communication mechanisms
2
Complex evolutions
2
Component based design
2
Component-based system design
2
Constraint Solving
2
Dynamic evolution
2
Dynamic memory
2
Dynamic models
2
Dynamic re-configuration
2
Formal framework
2
Formal specification
2
Formalisation
2
Graph rewriting
2
Graph theory
2
Graphical languages
2
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10