Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Dynamic logic
8
Software engineering
8
Computer software
6
Specifications
6
Abstracting
4
Alloy
4
Alloy languages
4
Atomic transition
4
Automation
4
Autopilot systems
4
Cerium alloys
4
Computer programming languages
4
Dynamic logics
4
Example based
4
Formal logic
4
Linguistics
4
Operational languages
4
Requirements specifications
4
SAT-solving
4
Tabular expressions
4
Tabular notation
4
Tabular specifications
4
Test harness
4
Algebra
2
Atomic actions
2
Automatic analysis
2
Case studies
2
Complexity
2
Computational complexity
2
Computer hardware description languages
2
-
1Materias: “...Dynamic logic...”
-
2Materias: “...Dynamic logic...”
CONF -
3Materias: “...formal modeling; system evolution; model evolution; dynamic logic; UML...”
Aportado por: SEDICI (UNLP)Articulo -
4
-
5
-
6Materias: “...Dynamic logic...”
-
7Materias: “...Dynamic logic...”
JOUR -
8
-
9
-
10Materias: “...Dynamic logic...”
Artículo publishedVersion -
11Materias: “...Dynamic logic...”
Artículo publishedVersion -
12Materias: “...Dynamic logic...”
SER -
13Materias: “...Dynamic logics...”
-
14Materias: “...Dynamic logics...”
SER