Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Specifications
Temporal logic
6
Linear temporal logic
4
Software engineering
4
Abductive reasoning
2
Component based
2
Component based systems
2
Computing paradigm
2
Dynamic environments
2
Dynamic models
2
Dynamic re-configuration
2
Education
2
Essential characteristic
2
Event Calculus
2
Event-based system
2
Fluents
2
Formalisation
2
Generic specifications
2
Goal-oriented requirements engineering
2
Inductive logic programming
2
Logic model checking
2
Logic programming
2
Model checking
2
Numerical values
2
Object orientation
2
Program translators
2
Reactive system
2
Requirements engineering
2
Runtimes
2
Scenario-based specification
2
-
1Publicado 2015Materias: “...Temporal logic...”
-
2
-
3Publicado 2009Materias: “...Linear temporal logic...”
-
4Materias: “...Linear temporal logic...”
JOUR -
5
-
6Materias: “...Temporal logic...”
SER