Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Specifications
Inductive logic programming
4
Abductive reasoning
2
Alloy Analyzer
2
Alloy analyzers
2
Alloys
2
Analysis and verifications
2
Automated analysis
2
Automated support
2
Calculations
2
Complex networks
2
Computer aided software engineering
2
Education
2
Event Calculus
2
Event calculus
2
Goal-oriented requirements engineering
2
Inductive logic programming (ILP)
2
Interoperability
2
Interoperating networks
2
Key characteristics
2
Linear temporal logic
2
Logic programming
2
Modal Transition Systems
2
Modal transition system
2
Modelling softwares
2
Partial specifications
2
Program translators
2
Proof calculus
2
Real case
2
Refinement
2
-
1Publicado 2011Materias: “...Event calculus...”
-
2Materias: “...Event calculus...”
CONF -
3Publicado 2009Materias: “...Event Calculus...”
-
4Materias: “...Event Calculus...”
JOUR -
5Materias: “...Proof calculus...”
-
6Materias: “...Proof calculus...”
SER