Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Linear temporal logic
4
Software engineering
Specifications
4
Temporal logic
4
Abductive reasoning
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
Model checking
2
Numerical values
2
Program translators
2
Reactive system
2
Requirements engineering
2
Scenario-based specification
2
Software architecture
2
Temporal logic specifications
2
-
1Publicado 2015Materias: “...Temporal logic...”
-
2
-
3Publicado 2009Materias: “...Linear temporal logic...”
-
4Materias: “...Linear temporal logic...”
JOUR