Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Semantics
Specifications
Computational linguistics
2
Computer hardware description languages
2
Formal languages
2
Specification languages
2
Behavioral model
1
Behavioral modeling
1
Behavioral properties
1
Calculations
1
Category theory
1
Distributed data stores
1
Flowcharting
1
Formal framework
1
Formal methods
1
Formal specification
1
Function mapping
1
Graphical languages
1
Heterogeneous specifications
1
Implementation correctness
1
Labeled transition systems
1
MTS
1
Mapping
1
Mathematical formalism
1
Modal Transition Systems
1
Multiple devices
1
Operational behavior
1
Partial behavior models
1
Pattern representation
1
Pattern specifications
1
-
1
-
2
-
3
-
4