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.
Formal methods
Model checking
7
Computer software reusability
4
Ciencias Informáticas
3
Abstracting
2
Architecture
2
Atomic actions
2
Behavior analysis
2
Building systems
2
Case studies
2
Composition of services
2
Computer software
2
Concurrent interactions
2
Dynamic logics
2
Engineers
2
Final states
2
Formal Semantics
2
In-buildings
2
Information services
2
Intermediate states
2
JAVA programs
2
Java programming language
2
Mechanical support
2
Middleware
2
Middleware components
2
Model-based engineering
2
Operational units
2
Partial correctnesses
2
Predicate abstractions
2
Program translators
2
-
1por Gonzalía, Carlos JoséMaterias: “...refinement checking...”
Publicado 2012
Aportado por: SEDICI (UNLP)Objeto de conferencia -
2
-
3
-
4por Acosta, Araceli NataliaMaterias: “...Model checking...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
5Materias: “...Model checking...”
-
6Materias: “...Model checking...”
SER -
7Publicado 2010Materias: “...Model checking...”
-
8Materias: “...Model checking...”
JOUR