Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Temporal logic
10
Linear temporal logic
6
Specifications
6
Algebra
4
Requirements engineering
4
Semantics
4
Software design
4
Software engineering
4
ANALISIS AUTOMATICO
2
AUTOMATIC ANALYSIS
2
Abductive reasoning
2
BUSINESS PROCESS
2
Behavioral model
2
Behavioral modeling
2
Complex networks
2
Component based
2
Component based systems
2
Computation theory
2
Computational networks
2
Computer programming languages
2
Computer software
2
Computing paradigm
2
Correlation function
2
Declarative Languages
2
Declarative models
2
Declarative semantics
2
Decorrelations
2
Distributed computer systems
2
Dynamic environments
2
Dynamic models
2
-
1Publicado 2015Materias: “...Temporal logic...”
-
2
-
3
-
4por Bogdanich Espina, VeraMaterias: “...TEMPORAL LOGIC...”
Publicado 2019
Tesis de grado publishedVersion -
5Publicado 2009Materias: “...Linear temporal logic...”
-
6Materias: “...Linear temporal logic...”
JOUR -
7Materias: “...Temporal logic...”
-
8Materias: “...Temporal logic...”
JOUR -
9Publicado 2006Materias: “...Temporal logics...”
-
10
-
11
-
12Materias: “...Temporal logic...”
SER -
13
-
14Materias: “...Temporal logic...”
JOUR -
15Publicado 2015Materias: “...Linear temporal logic...”
-
16Materias: “...Linear temporal logic...”
SER -
17por Regis, Germán EnriqueMaterias: “...TEMPORAL LOGICS...”
Publicado 2014
Tesis doctoral publishedVersion -
18