Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Linear temporal logic
Software engineering
4
Specifications
4
Temporal logic
4
Abductive reasoning
2
Algebra
2
Complex networks
2
Computation theory
2
Computational networks
2
Computer programming languages
2
Distributed computer systems
2
Education
2
Event Calculus
2
Event-based system
2
Fluents
2
Goal-oriented requirements engineering
2
Inductive logic programming
2
Logic model checking
2
Logic programming
2
Middleware
2
Model checking
2
Model-checking techniques
2
Numerical values
2
Operational semantics
2
Program translators
2
Reactive system
2
Reconfigurable hardware
2
Relational network
2
Requirements engineering
2
Scenario-based specification
2
-
1
-
2
-
3
-
4
-
5
-
6