Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Algebra
1
Complex networks
1
Component based
1
Component based systems
1
Computation theory
1
Computational networks
1
Computer programming languages
1
Computing paradigm
1
Distributed computer systems
1
Dynamic environments
1
Dynamic models
1
Dynamic re-configuration
1
Essential characteristic
1
Formalisation
1
Generic specifications
1
Linear temporal logic
1
Middleware
1
Model-checking techniques
1
Object orientation
1
Operational semantics
1
Reconfigurable hardware
1
Relational network
1
Runtimes
1
Semantics
1
Service execution
1
Service oriented computing
1
Service-oriented softwares
1
Software design
1
Software systems
1
Specification languages
1
-
1Materias: “...Temporal logic...”
SER -
2Materias: “...Linear temporal logic...”
SER